The fork calculus
- 1 January 1993
- book chapter
- Published by Springer Nature
- Vol. 1 (3) , 544-557
- https://doi.org/10.1007/3-540-56939-1_101
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- A semantics for ML concurrency primitivesPublished by Association for Computing Machinery (ACM) ,1992
- CMLACM SIGPLAN Notices, 1991
- Structured operational semantics and bisimulation as a congruencePublished by Springer Nature ,1989
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985