Publication:3204033
From MaRDI portal
zbMath0716.68034MaRDI QIDQ3204033
Luca Aceto, Matthew C. B. Hennessy
Publication date: 1989
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q55: Semantics in the theory of computing
Related Items
Bisimulation and action refinement, Refinement of actions in event structures and causal trees, \(\tau\)-bisimulations and full abstraction for refinement of actions, Truly concurrent constraint programming