scientific article; zbMATH DE number 4043257

MaRDI QIDQ3780449zbMATH OpenFDO

Authors Peter E. Lauer, Ryszard Janicki

Publication date 1987

zbMATH Keywords

concurrent systemsPetri netsrecursive generatorssynchronization propertiesvector firing sequence semantics

Mathematics Subject Classification ID

Theory of operating systems (68N25) Theory of software (68N99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(6)

• Concurrent and maximally concurrent evolution of nonsequential systems
• Operational and denotational semantics for the box algebra
• Restrictions and representations of vector controlled concurrent system behaviours
• Transformations of sequential specifications into concurrent specifications by synchronization guards
• scientific article; zbMATH DE number 4018373 (Why is no real title available?)
• scientific article; zbMATH DE number 107452 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3780449)