Transforming sequential systems into concurrent systems

DOI10.1016/0304-3975(85)90029-5zbMath0559.68032OpenAlexW2036709672MaRDI QIDQ2265803

Ryszard Janicki

Publication date: 1985

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(85)90029-5

zbMATH Keywords

functional equivalenceabstract resourcesconcurrent system specificationequivalent concurrent systempath expressions

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (3)

Concurrent and maximally concurrent evolution of nonsequential systems ⋮ Transformations of sequential specifications into concurrent specifications by synchronization guards ⋮ The synthesis problem of Petri nets

Uses Software

• COSY

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nets, sequential components and concurrency relations
• A methodology for programming with concurrency: An informal presentation
• A methodology for programming with concurrency: The formalism
• Formal semantics of a class of high-level primitives of coordinating concurrent processes
• Semantics of concurrent computation. Proceedings of the international symposium, Evian, France, July 2-4, 1979
• COSY - a system specification language based on paths and processes
• The structure of the “THE”-multiprogramming system

This page was built for publication: Transforming sequential systems into concurrent systems