scientific article; zbMATH DE number 4043257

zbMATH Open0639.68052MaRDI QIDQ3780449FDOQ3780449

Authors: Peter E. Lauer, Ryszard Janicki 

Publication date: 1987

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4018373
• scientific article; zbMATH DE number 107452
• scientific article; zbMATH DE number 3982529
• scientific article; zbMATH DE number 1185853
• scientific article; zbMATH DE number 3922334

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)

• Operational and denotational semantics for the box algebra
• Restrictions and representations of vector controlled concurrent system behaviours
• Title not available (Why is that?)
• Transformations of sequential specifications into concurrent specifications by synchronization guards
• Title not available (Why is that?)
• Concurrent and maximally concurrent evolution of nonsequential systems

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)