scientific article
From MaRDI portal
Publication:3670605
zbMath0521.68089MaRDI QIDQ3670605
R. Verraedt, Grzegorz Rozenberg
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Concurrent and maximally concurrent evolution of nonsequential systems ⋮ An extension of the taxonomy of persistent and nonviolent steps ⋮ An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets ⋮ A formal semantics for concurrent systems with a priority relation
This page was built for publication: