Distributed bisimulations

DOI10.1145/76359.76369MaRDI QIDQ3474903zbMATH OpenOpenAlexFDO

Authors Ilaria Castellani, Matthew Hennessy

Publication date 1989

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00075679/file/RR-0875.pdf

zbMATH Keywords

concurrent processesnoninterleaving semantic theoryobservational equivalencesemantics of programming languages

Mathematics Subject Classification ID

Theory of operating systems (68N25) Semantics in the theory of computing (68Q55)

Recommendations

• A theory of processes with localities
• Distribution and locality of concurrent systems
• Bisimulation and divergence
• Publication:4733391
• scientific article; zbMATH DE number 3898224

Cited in

(41)

• Concurrency and atomicity
• On the coarsest congruence within global-clock-bounded equivalence
• The equivalence in the DCP model
• Observational structures and their logic
• Basic observables for processes
• A theory of processes with localities
• A static view of localities
• Comparing locality and causality based equivalences
• A format for semantic equivalence comparison
• Architectural CCS
• Timing and causality in process algebra
• A study on team bisimulation and H-team bisimulation for BPP nets
• Coupled similarity: the first 32 years
• Team bisimilarity, and its associated modal logic, for BPP nets
• Verification of finite-state machines: a distributed approach
• Distributed branching bisimulation reduction of state spaces
• An input/output semantics for distributed program equivalence reasoning
• Formal Modeling of Mobile Computing Systems Based on Ambient Abstract State Machines
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• New Bisimulation Semantics for Distributed Systems
• scientific article; zbMATH DE number 4104372 (Why is no real title available?)
• scientific article; zbMATH DE number 4104403 (Why is no real title available?)
• scientific article; zbMATH DE number 92600 (Why is no real title available?)
• scientific article; zbMATH DE number 176155 (Why is no real title available?)
• Step bisimulation is pomset equivalence on a parallel language without explicit internal choice
• Processes as terms: non-well-founded models for bisimulation
• scientific article; zbMATH DE number 1534589 (Why is no real title available?)
• Distribution and locality of concurrent systems
• scientific article; zbMATH DE number 4119607 (Why is no real title available?)
• A parametric approach to localities
• Barbed bisimulation
• Computational and Information Science
• Algebra and Coalgebra in Computer Science
• An intensional characterization of the largest bisimulation
• On relating concurrency and nondeterminism
• Location equivalence in a parametric setting
• Universal axioms for bisimulations
• Observing localities
• Bisimulation and divergence
• Unique parallel decomposition in branching and weak bisimulation semantics
• A partial ordering semantics for CCS

This page was built for publication: Distributed bisimulations

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