Split and ST bisimulation semantics

DOI10.1006/INCO.1995.1066MaRDI QIDQ1892889zbMATH OpenOpenAlexFDO

Authors Roberto Gorrieri, Cosimo Laneve

Publication date 10 July 1995

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/986b42c05b80bcb64115215ef98d9f09c94f2b8f

zbMATH Keywords

bisimulationaction atomicity

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Cited in

(11)

• Analyzing divergence in bisimulation semantics
• Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation
• The difference between splitting in \(n\) and \(n+1\)
• Bisimulations respecting duration and causality for the non-interleaving applied \(\pi\)-calculus
• The limit of \(\operatorname{split}_n\)-language equivalence
• Vertical implementation
• scientific article; zbMATH DE number 1534589 (Why is no real title available?)
• Taking decisions late: end-based choice combined with action refinement
• scientific article; zbMATH DE number 176137 (Why is no real title available?)
• On the semantics of durational actions
• A theory of processes with durational actions

This page was built for publication: Split and ST bisimulation semantics

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