PAM: A process algebra manipulator
- 1 January 1992
- book chapter
- Published by Springer Nature
- p. 136-146
- https://doi.org/10.1007/3-540-55179-4_14
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- A proof assistant for PSFPublished by Springer Nature ,1992
- Rewrite SystemsPublished by Elsevier ,1990
- Using the axiomatic presentation of behavioural equivalences for manipulating CCS specificationsPublished by Springer Nature ,1990
- The concurrency workbenchPublished by Springer Nature ,1990
- Process calculi, from theory to practice: Verification toolsPublished by Springer Nature ,1990
- Process theory based on bisimulation semanticsPublished by Springer Nature ,1989
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986