An algebra for process creation
- 1 April 1992
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 29 (4) , 303-334
- https://doi.org/10.1007/bf01178776
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Process algebra semantics of POOLPublished by Cambridge University Press (CUP) ,1990
- Correctness proofs for systolic algorithms: palindromes and sortingPublished by Cambridge University Press (CUP) ,1990
- A process creation mechanism in process algebraPublished by Cambridge University Press (CUP) ,1990
- Module algebraJournal of the ACM, 1990
- Refinement of actions in causality based modelsPublished by Springer Nature ,1990
- Designing equivalent semantic models for process creationTheoretical Computer Science, 1988
- Operational Petri net semantics for CCSPPublished by Springer Nature ,1987
- Merge and termination in process algebraPublished by Springer Nature ,1987
- Event structuresPublished by Springer Nature ,1987
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980