Process theory: Semantics, specification and verification
- 1 January 1986
- book chapter
- Published by Springer Nature
- p. 442-509
- https://doi.org/10.1007/bfb0027046
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Transition systems, infinitary languages and the semantics of uniform concurrencyPublished by Association for Computing Machinery (ACM) ,1985
- A linear-history semantics for languages for distributed programmingTheoretical Computer Science, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Predicative programming Part ICommunications of the ACM, 1984
- Processes and the denotational semantics of concurrencyInformation and Control, 1982
- A Proof System for Communicating Sequential ProcessesACM Transactions on Programming Languages and Systems, 1980
- The Denotational Description of Programming LanguagesPublished by Springer Nature ,1979
- Full abstraction for a simple parallel programming languageLecture Notes in Computer Science, 1979
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Formal verification of parallel programsCommunications of the ACM, 1976