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

observational equivalenceconcurrent processessemantics of programming languagesnoninterleaving semantic theory

Mathematics Subject Classification ID

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

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

(39)

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

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)