scientific article
From MaRDI portal
Publication:4015485
zbMath0767.68074MaRDI QIDQ4015485
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
Verification of finite-state machines: a distributed approach, Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra, Testing equivalences of time Petri nets, Modelling causality via action dependencies in branching time semantics, Location equivalence in a parametric setting, Decidability of performance equivalence for basic parallel processes, A parametric approach to localities, A study on team bisimulation and H-team bisimulation for BPP nets, Non-interleaving bisimulation equivalences on basic parallel processes
