Regrouping parallel processes
- 1 November 1996
- journal article
- Published by Springer Nature in Formal Methods in System Design
- Vol. 9 (3) , 263-302
- https://doi.org/10.1007/bf00122084
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- A graphical composition theorem for networks of LOTOS processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Deriving graphical representations of process networks from algebraic expressionsInformation Processing Letters, 1993
- Program Transformation SystemsACM Computing Surveys, 1983
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Program Improvement by Source-to-Source TransformationJournal of the ACM, 1977
- Programming as an evolutionary processLecture Notes in Computer Science, 1976