Open Bisimulation for the Concurrent Constraint Pi-Calculus
From MaRDI portal
Publication:5458401
DOI10.1007/978-3-540-78739-6_20zbMATH Open1133.68384OpenAlexW1539807509MaRDI QIDQ5458401FDOQ5458401
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
Recommendations
Cites Work
- A calculus of mobile processes. I
- Mobile values, new names, and secure communication
- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
- Title not available (Why is that?)
- Explicit fusions
- Semiring-based constraint satisfaction and optimization
- Symbolic bisimulations
- A theory of bisimulation for the \(\pi\)-calculus
- A symbolic semantics for the \(\pi\)-calculus
- Title not available (Why is that?)
- Title not available (Why is that?)
- Foundations of Software Science and Computation Structures
- Probabilistic concurrent constraint programming
Cited In (9)
- Title not available (Why is that?)
- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
- Session-based concurrency, declaratively
- Psi-calculi in Isabelle
- Computing strong and weak bisimulations for psi-calculi
- 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
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)
