Transformational semantics for concurrent programs
- 20 October 1980
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 11 (2) , 87-91
- https://doi.org/10.1016/0020-0190(80)90009-5
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Principles for distributing programsPublished by Springer Nature ,2005
- do considered od: A contribution to the programming calculusActa Informatica, 1979
- Verifying properties of parallel programsCommunications of the ACM, 1976
- ReductionCommunications of the ACM, 1975