scientific article
From MaRDI portal
Publication:2760252
zbMath1062.68078MaRDI QIDQ2760252
Publication date: 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (14)
Reversing algebraic process calculi ⋮ Characterising spectra of equivalences for event structures, logically ⋮ A Logic for Distributed Higher Order π-Calculus ⋮ Nested-unit Petri nets ⋮ A stable non-interleaving early operational semantics for the pi-calculus ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ A model of actors and grey failures ⋮ A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus ⋮ Pure bigraphs: structure and dynamics ⋮ Decidability of performance equivalence for basic parallel processes ⋮ A study on team bisimulation and H-team bisimulation for BPP nets ⋮ Unnamed Item ⋮ A Chart Semantics for the Pi-Calculus ⋮ Extensionality of Spatial Observations in Distributed Systems
This page was built for publication:
