Open Bisimulation for the Concurrent Constraint Pi-Calculus

DOI10.1007/978-3-540-78739-6_20zbMath1133.68384OpenAlexW1539807509MaRDI QIDQ5458401

Maria Grazia Buscemi, Ugo Montanari

Publication date: 11 April 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78739-6_20

Mathematics Subject Classification ID

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

Related Items (7)

Session-based concurrency, declaratively ⋮ Observational and behavioural equivalences for soft concurrent constraint programming ⋮ Unnamed Item ⋮ Compositional equivalences based on open pNets ⋮ Computing strong and weak bisimulations for psi-calculi ⋮ Psi-calculi in Isabelle ⋮ Models and emerging trends of concurrent constraint programming

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Symbolic bisimulations
• A calculus of mobile processes. I
• A theory of bisimulation for the \(\pi\)-calculus
• A symbolic semantics for the \(\pi\)-calculus
• Explicit fusions
• Semiring-based constraint satisfaction and optimization
• Mobile values, new names, and secure communication
• Foundations of Software Science and Computation Structures
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Probabilistic concurrent constraint programming

This page was built for publication: Open Bisimulation for the Concurrent Constraint Pi-Calculus