Publication:4029582
From MaRDI portal
zbMath0761.68069MaRDI QIDQ4029582
Publication date: 28 March 1993
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Nivat's processes and their synchronization, A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks