Elements of interaction
- 1 January 1993
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 36 (1) , 78-89
- https://doi.org/10.1145/151233.151240
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A domain equation for bisimulationInformation and Computation, 1991
- π-Calculus semantics of object-oriented programming languagesPublished by Springer Nature ,1991
- Automatic synthesis of typed Λ-programs on term algebrasTheoretical Computer Science, 1985
- Parametric channels via label expressions in CCSTheoretical Computer Science, 1984
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Flowgraphs and Flow AlgebrasJournal of the ACM, 1979
- Communicating sequential processesCommunications of the ACM, 1978
- Computer science as empirical inquiryCommunications of the ACM, 1976