scientific article
From MaRDI portal
Publication:3780449
zbMath0639.68052MaRDI QIDQ3780449
Peter E. Lauer, Ryszard Janicki
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrent systemsPetri netsrecursive generatorssynchronization propertiesvector firing sequence semantics
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25) Theory of software (68N99)
Related Items
Concurrent and maximally concurrent evolution of nonsequential systems, Transformations of sequential specifications into concurrent specifications by synchronization guards, Restrictions and representations of vector controlled concurrent system behaviours, Operational and denotational semantics for the box algebra
