Towards a lambda-calculus for concurrent and communicating systems
- 1 January 1989
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A calculus of higher order communicating systemsPublished by Association for Computing Machinery (ACM) ,1989
- Substitution revisitedTheoretical Computer Science, 1988
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Flowgraphs and Flow AlgebrasJournal of the ACM, 1979
- An algebraic interpretation of the λβK-calculus; and an application of a labelled λ-calculusTheoretical Computer Science, 1976