Introducing a calculus of trees
- 1 January 1991
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 215-240
- https://doi.org/10.1007/3-540-53982-4_13
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- On continuous time agentsPublished by Springer Nature ,1992
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Synchronization treesTheoretical Computer Science, 1984
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980