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
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
