From Process Calculi to Process Frameworks
- 21 December 2000
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Higher-order action calculiPublished by Springer Nature ,2006
- Deriving Bisimulation Congruences for Reactive SystemsPublished by Springer Nature ,2000
- Elementary structures in process theory (1): Sets with renamingMathematical Structures in Computer Science, 2000
- Explicit FusionsPublished by Springer Nature ,2000
- Calculi for interactionActa Informatica, 1996
- Traced monoidal categoriesMathematical Proceedings of the Cambridge Philosophical Society, 1996
- A theory of bisimulation for the π-calculusPublished by Springer Nature ,1993