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