scientific article
From MaRDI portal
Publication:2736365
zbMath0967.68513MaRDI QIDQ2736365
Roberto Gorrieri, Ugo Montanari, Gian-Luigi Ferrari
Publication date: 29 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Automatizing parametric reasoning on distributed concurrent systems ⋮ A \(\pi\)-calculus with explicit substitutions ⋮ Dynamic matrices and the cost analysis of concurrent programs ⋮ A π-calculus with explicit substitutions: The late semantics ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ Extended transition systems for parametric bisimulation ⋮ Distribution and locality of concurrent systems ⋮ A theory of processes with durational actions ⋮ Universal axioms for bisimulations ⋮ Proved trees
This page was built for publication: