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

• 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?)
• 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
• Mobile values, new names, and secure communication
• Probabilistic concurrent constraint programming
• Semiring-based constraint satisfaction and optimization
• Symbolic bisimulations

Cited in

(10)

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

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)