Adding action refinement to a finite process algebra
- 1 January 1991
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Towards action-refinement in process algebrasPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Adding action refinement to a finite process algebraLecture Notes in Computer Science, 1991
- Axiomatising Finite Concurrent ProcessesSIAM Journal on Computing, 1988
- Substitution revisitedTheoretical Computer Science, 1988
- Petri net models for algebraic theories of concurrencyPublished by Springer Nature ,1987
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985