A note on specifying and verifying concurrent processes
- 28 February 1984
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 18 (2) , 77-85
- https://doi.org/10.1016/0020-0190(84)90028-0
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Implementing semaphores by binary semaphoresACM SIGPLAN Notices, 1983
- On universality of concurrent expressions with synchronization primitivesTheoretical Computer Science, 1982
- Implementation approach to parallel systemsInformation Processing Letters, 1978
- Some Properties of Predicate TransformersJournal of the ACM, 1978
- Software Descriptions with Flow ExpressionsIEEE Transactions on Software Engineering, 1978
- Concurrent Program Schemes and their InterpretationsDAIMI Report Series, 1977