scientific article
From MaRDI portal
Publication:3204033
zbMath0716.68034MaRDI QIDQ3204033
Luca Aceto, Matthew C. B. Hennessy
Publication date: 1989
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
Determinism \(\to\) (event structure isomorphism \(=\) step sequence equivalence), Concurrent bisimulations in Petri nets, Causality and true concurrency: A data-flow analysis of the Pi-Calculus, Event structure semantics for multiparty sessions, On hierarchically developing reactive systems, \(\tau\)-bisimulations and full abstraction for refinement of actions, Bisimulation and action refinement, Refinement of actions in event structures and causal trees, Truly concurrent constraint programming, Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice, Truly concurrent constraint programming
