scientific article
From MaRDI portal
Publication:4015488
zbMath0847.68032MaRDI QIDQ4015488
Publication date: 13 January 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 (5)
A theory of processes with localities ⋮ Timing and causality in process algebra ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ Team bisimilarity, and its associated modal logic, for BPP nets ⋮ Non-interleaving bisimulation equivalences on basic parallel processes
This page was built for publication: