Bisimulations in the join-calculus

DOI10.1016/S0304-3975(00)00283-8zbMath0989.68098OpenAlexW2161347291MaRDI QIDQ5958770

Cédric Fournet, Cosimo Laneve

Publication date: 3 March 2002

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00283-8

zbMATH Keywords

calculusbisimulationlocalityconcurrencyasynchronous processesbarbed congruencechemical semanticsjoin-calculusname matching

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

On distributability, More on bisimulations for higher order \(\pi\)-calculus, An algebraic theory for web service contracts, A hierarchy of equivalences for asynchronous calculi, Trace and testing equivalence on asynchronous processes

Uses Software

• JoCaml
• MWB

Cites Work

• The gamma model and its discipline of programming
• Some congruence properties for \(\pi\)-calculus bisimilarities
• A fully abstract semantics for causality in the \(\pi\)-calculus
• A calculus of mobile processes. II
• On the expressiveness of internal mobility in name-passing calculi
• On bisimulations for the asynchronous \(\pi\)-calculus
• On reduction-based process semantics
• Automata, languages and programming. 25th international colloquium, ICALP '98. Aalborg, Denmark, July 13--17, 1998. Proceedings
• Secure implementation of channel abstractions
• The name discipline of uniform receptiveness
• Automata, languages and programming. 24th international colloquium, ICALP '97, Bologna, Italy, July 7--11, 1997. Proceedings
• Proof Techniques for Cryptographic Processes
• Authentication primitives and their compilation
• Barbed bisimulation
• Distributed processes and location failures
• Implicit typing à la ML for the join-calculus
• A calculus of mobile agents
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item