A term model for CCS
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 261-274
- https://doi.org/10.1007/bfb0022510
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Flowgraphs and Flow AlgebrasJournal of the ACM, 1979
- Concurrent Processes and Their SyntaxJournal of the ACM, 1979
- Full abstraction for a simple parallel programming languageLecture Notes in Computer Science, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Power domainsJournal of Computer and System Sciences, 1978
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977
- Functorial semantics of the type free λ-βη calculusLecture Notes in Computer Science, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- A Powerdomain ConstructionSIAM Journal on Computing, 1976
- The Vienna Definition LanguageACM Computing Surveys, 1972