scientific article
From MaRDI portal
Publication:4035230
zbMath0778.68055MaRDI QIDQ4035230
Ilaria Castellani, Gérard Boudol, Matthew C. B. Hennessy, Astrid Kiehn
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Related Items (7)
A theory of processes with localities ⋮ A static view of localities ⋮ Architectural CCS ⋮ Nested-unit Petri nets ⋮ Universal axioms for bisimulations ⋮ A parametric approach to localities ⋮ Proved trees
This page was built for publication:
