Transforming sequential systems into concurrent systems

DOI10.1016/0304-3975(85)90029-5MaRDI QIDQ2265803zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3856387
• Transformations of sequential specifications into concurrent specifications by synchronization guards
• scientific article; zbMATH DE number 4064498
• The analysis of concurrent systems. Cambridge, September 12-16, 1983. Proceedings
• scientific article; zbMATH DE number 177782

Cites work

• scientific article; zbMATH DE number 3856387 (Why is no real title available?)
• scientific article; zbMATH DE number 3896328 (Why is no real title available?)
• scientific article; zbMATH DE number 3669869 (Why is no real title available?)
• scientific article; zbMATH DE number 3716769 (Why is no real title available?)
• scientific article; zbMATH DE number 3731348 (Why is no real title available?)
• scientific article; zbMATH DE number 3755835 (Why is no real title available?)
• scientific article; zbMATH DE number 3601083 (Why is no real title available?)
• scientific article; zbMATH DE number 795666 (Why is no real title available?)
• scientific article; zbMATH DE number 3313249 (Why is no real title available?)
• A methodology for programming with concurrency: An informal presentation
• A methodology for programming with concurrency: The formalism
• COSY - a system specification language based on paths and processes
• Formal semantics of a class of high-level primitives of coordinating concurrent processes
• Nets, sequential components and concurrency relations
• Semantics of concurrent computation. Proceedings of the international symposium, Evian, France, July 2-4, 1979
• The structure of the “THE”-multiprogramming system

Cited in

(11)

• A case study in transformational design of concurrent systems
• scientific article; zbMATH DE number 177782 (Why is no real title available?)
• scientific article; zbMATH DE number 1956466 (Why is no real title available?)
• A transformation system for concurrent processes
• scientific article; zbMATH DE number 4064498 (Why is no real title available?)
• The synthesis problem of Petri nets
• scientific article; zbMATH DE number 4085038 (Why is no real title available?)
• Transformations of sequential specifications into concurrent specifications by synchronization guards
• scientific article; zbMATH DE number 3856387 (Why is no real title available?)
• Sequentialising nested systems
• Concurrent and maximally concurrent evolution of nonsequential systems

Describes a project that uses

Uses Software

• COSY

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

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