scientific article; zbMATH DE number 4043257

MaRDI QIDQ3780449zbMATH OpenFDO

Authors Peter E. Lauer, Ryszard Janicki

Publication date 1987

zbMATH Keywords

Petri netsconcurrent systemsrecursive generatorssynchronization propertiesvector firing sequence semantics

Mathematics Subject Classification ID

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

Cited in

(6)

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

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)