scientific article
From MaRDI portal
Publication:2760239
zbMath1021.68040MaRDI QIDQ2760239
Manfred Broy, Ernst-Ruediger Olderog
Publication date: 18 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Processes with infinite liveness requirements ⋮ On Compiling Structured Interactive Programs with Registers and Voices ⋮ Processes with local and global liveness requirements