An operational semantics for occam
- 1 October 1989
- journal article
- Published by Springer Nature in International Journal of Parallel Programming
- Vol. 18 (5) , 365-400
- https://doi.org/10.1007/bf01379186
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Weak and strong fairness in CCSPublished by Springer Nature ,2006
- Denotational semantics for occamPublished by Springer Nature ,1985
- An operational semantics of multitasking and exception handling in AdaPublished by Association for Computing Machinery (ACM) ,1982