An extended expansion theorem

DOI10.1007/3540539816_56MaRDI QIDQ2736365zbMATH OpenFDO

Authors Roberto Gorrieri, Ugo Montanari, Gian Luigi Ferrari

Publication date 29 August 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3540539816_56

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3986626
• CCS with Hennessy's merge has no finite-equational axiomatization
• Axiomatizing prefix iteration with silent steps
• A general conservative extension theorem in process algebras with inequalities
• An equational axiomatization of observation congruence for prefix iteration

Cited in

(15)

• An extension of the ordinary variation
• Automatizing parametric reasoning on distributed concurrent systems
• A \(\pi\)-calculus with explicit substitutions
• Modified straightforward expansion
• A continuum of expanders
• scientific article; zbMATH DE number 4214744 (Why is no real title available?)
• Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
• scientific article; zbMATH DE number 1079157 (Why is no real title available?)
• Extended transition systems for parametric bisimulation
• Distribution and locality of concurrent systems
• Dynamic matrices and the cost analysis of concurrent programs
• A \(\pi \)-calculus with explicit substitutions: the late semantics
• Proved trees
• A theory of processes with durational actions
• Universal axioms for bisimulations

This page was built for publication: An extended expansion theorem

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