Publication:4035680
From MaRDI portal
zbMath0773.68052MaRDI QIDQ4035680
Publication date: 18 May 1993
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q55: Semantics in the theory of computing
Related Items
Bisimulation and action refinement, \(\tau\)-bisimulations and full abstraction for refinement of actions, The box algebra = Petri nets + process expressions, Concurrent testing of processes, Normalization of place/transition-systems preserves net behaviour