On the algorithmic properties of concurrent programs
- 1 January 1981
- book chapter
- Published by Springer Nature
- p. 169-197
- https://doi.org/10.1007/3-540-11160-3_6
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The temporal semantics of concurrent programsPublished by Springer Nature ,2005
- Algorithmic logic with nondeterministic programs1Fundamenta Informaticae, 1980
- An algebraic approach to concurrenceLecture Notes in Computer Science, 1979
- Synchronized petri nets : A model for the description of non-autonomous sytemsPublished by Springer Nature ,1978
- On the computational power of extended petri netsLecture Notes in Computer Science, 1978
- Nondeterminism in logics of programsPublished by Association for Computing Machinery (ACM) ,1978
- Concurrent Program Schemes and their InterpretationsDAIMI Report Series, 1977