Open Bisimulation for the Concurrent Constraint Pi-Calculus

DOI10.1007/978-3-540-78739-6_20MaRDI QIDQ5458401zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Deriving labels and bisimilarity for concurrent constraint programming
• Open bisimulation, revisited
• A theory of bisimulation for the -calculus
• Some congruence properties for \(\pi\)-calculus bisimilarities
• Open bisimulation, revisited

Cites work

• A calculus of mobile processes. I
• A symbolic semantics for the \(\pi\)-calculus
• A theory of bisimulation for the -calculus
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Explicit fusions
• Foundations of Software Science and Computation Structures
• scientific article; zbMATH DE number 1696814 (Why is no real title available?)
• scientific article; zbMATH DE number 2084713 (Why is no real title available?)
• scientific article; zbMATH DE number 2111981 (Why is no real title available?)
• Mobile values, new names, and secure communication
• Probabilistic concurrent constraint programming
• Semiring-based constraint satisfaction and optimization
• Symbolic bisimulations

Cited in

(10)

• Session-based concurrency, declaratively
• Models and emerging trends of concurrent constraint programming
• Observational and behavioural equivalences for soft concurrent constraint programming
• Compositional equivalences based on open pNets
• Deriving labels and bisimilarity for concurrent constraint programming
• Computing strong and weak bisimulations for psi-calculi
• Reducing weak to strong bisimilarity in CCP
• CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
• Modal logics for nominal transition systems
• Psi-calculi in Isabelle

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458401)