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

abstract resourcesconcurrent system specificationequivalent concurrent systemfunctional equivalencepath expressions

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Review text

A problem of concurrent system specification is studied. A functionally equivalent system is first specified, then a set of independent actions or abstract resources is devised, and, finally, this sequential system is transformed into an equivalent concurrent system. The method is based on the theory of path expressions. The notion of functional equivalence is formally defined and studied. Necessary and sufficient conditions, stating when the method can be used, are formulated and proved. Some examples (vending machine, cigarette smokers, readers and writers, dining philosophers) are discussed.

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

• 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
• 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?)
• 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)

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