Split and ST bisimulation semantics

DOI10.1006/INCO.1995.1066zbMATH Open0826.68077OpenAlexW1970071839MaRDI QIDQ1892889FDOQ1892889

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

Recommendations

• scientific article; zbMATH DE number 176137
• scientific article; zbMATH DE number 176514
• scientific article; zbMATH DE number 1231679

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)

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

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)