Concurrent Processes and Their Syntax
- 1 April 1979
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 26 (2) , 302-321
- https://doi.org/10.1145/322123.322134
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Communicating sequential processesCommunications of the ACM, 1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- The denotational semantics of programming languagesCommunications of the ACM, 1976
- Models for Various Type-Free CalculiPublished by Elsevier ,1973
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- The structure of the “THE”-multiprogramming systemCommunications of the ACM, 1968