A spatial equational logic for the applied \(\pi \)-calculus
type: Item
instance of: scholarly article
title: A spatial equational logic for the applied \(\pi \)-calculus
zbMATH Open document ID: 1231.68171
author: Jules Villard
author: Etienne Lozes
published in: Distributed Computing
publication date: 2010-09-09T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 5781477
zbMATH Keywords: spatial logic
zbMATH Keywords: applied \(\pi\)-calculus
describes a project that uses: SLMC
MaRDI profile type: Publication
full work available at URL: s00446-010-0112-6
OpenAlex ID: W2026881877
cites work: Deciding knowledge in security protocols under equational theories
cites work: Mobile values, new names, and secure communication
cites work: Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types
cites work: On the Relationship between Spatial Logics and Behavioral Simulations
cites work: Automated verification of selected equivalences for security protocols
cites work: A spatial logic for concurrency. I
cites work: CONCUR 2004 - Concurrency Theory
cites work: Deciding validity in a spatial logic for trees
cites work: Context logic and tree update
cites work: A new approach to abstract syntax with variable binding
cites work: Anytime, anywhere
cites work: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
cites work: On the Expressiveness of the Ambient Logic
cites work: Separability in the Ambient Logic
cites work: A Spatial Equational Logic for the Applied π-Calculus
cites work: Observing Distributed Computation. A Dynamic-Epistemic Approach
cites work: A calculus of mobile processes. I
cites work: A calculus and logic of resources and processes
cites work: Extensionality and intensionality of the ambient logics
DOI: 10.1007/S00446-010-0112-6
description: scientific article; zbMATH DE number 5781477