scientific article; zbMATH DE number 176137

MaRDI QIDQ4035238zbMATH OpenFDO

Authors Roberto Gorrieri, Cosimo Laneve

Publication date 18 May 1993

zbMATH Keywords

\(\text{split}_ n\)-transition systemsbisimualation equivalenceCCSST-transition systems

Mathematics Subject Classification ID

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

Recommendations

• Split and ST bisimulation semantics
• The limit of split\(_ n\)-language equivalence
• scientific article; zbMATH DE number 1231679
• The limit of \(\operatorname{split}_n\)-language equivalence
• Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge

Cited in

(8)

• A format for semantic equivalence comparison
• Split and ST bisimulation semantics
• The limit of split\(_ n\)-language equivalence
• scientific article; zbMATH DE number 1231679 (Why is no real title available?)
• The limit of \(\operatorname{split}_n\)-language equivalence
• Bounded concurrency
• Locality and interleaving semantics in calculi for mobile processes
• Bisimulation and action refinement

This page was built for publication:

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