Concurrent and maximally concurrent evolution of nonsequential systems
- 31 December 1986
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 43, 213-238
- https://doi.org/10.1016/0304-3975(86)90177-5
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Many-sorted temporal logic for multi-processes systemsPublished by Springer Nature ,2006
- Transforming sequential systems into concurrent systemsTheoretical Computer Science, 1985
- Adequacy properties of path programsTheoretical Computer Science, 1982
- COSY ? a system specification language based on paths and processesActa Informatica, 1979
- Petri NetsACM Computing Surveys, 1977
- Sur l'extension de l'ordre partielFundamenta Mathematicae, 1930