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)

Recommendations

• scientific article; zbMATH DE number 4018373
• Specification and analysis of concurrent systems. The COSY approach
• scientific article; zbMATH DE number 3982529
• scientific article; zbMATH DE number 1185853
• scientific article; zbMATH DE number 3922334

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?)
• Specification and analysis of concurrent systems. The COSY approach

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)