A fully abstract semantics for causality in the \(\pi\)-calculus

DOI10.1007/s002360050124zbMath0908.68103MaRDI QIDQ1130165

Davide Sangiorgi, Michele Boreale

Publication date: 14 March 1999

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050124

zbMATH Keywords

location bisimulation

Mathematics Subject Classification ID

68Q55: Semantics in the theory of computing

Related Items

Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators, Bisimulations in the join-calculus, Models for name-passing processes: Interleaving and causal, \(\pi\)-calculus, internal mobility, and agent-passing calculi, Locality and interleaving semantics in calculi for mobile processes, Towards an algebraic theory of typed mobile processes, A compositional Petri net translation of general \(\pi\)-calculus terms, Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS, Some congruence properties for \(\pi\)-calculus bisimilarities, On the expressiveness of internal mobility in name-passing calculi, Non-interleaving semantics for mobile processes, Names of the \(\pi\)-calculus agents handled locally, Game-theoretic analysis of call-by-value computation, safeDpi: a language for controlling mobile code, A Process-Model for Linear Programs