Embedding as a tool for language comparison: On the CSP hierarchy
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 127-141
- https://doi.org/10.1007/3-540-54430-5_85
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- On the expressive power of programming languagesPublished by Springer Nature ,1990
- The family of concurrent logic programming languagesACM Computing Surveys, 1989
- On the existence of symmetric algorithms to find leaders in networks of communicating sequential processesActa Informatica, 1988
- On the consistency of Koomen's Fair Abstraction RuleTheoretical Computer Science, 1987
- Higher-level synchronising devices in Meije-SCCSTheoretical Computer Science, 1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Communicating sequential processesCommunications of the ACM, 1978
- On the power of programming featuresComputer Languages, 1975
- GEDANKEN—a simple typeless language based on the principle of completeness and the reference conceptCommunications of the ACM, 1970
- The next 700 programming languagesCommunications of the ACM, 1966