An algebra of processes
- 1 October 1987
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 35 (2) , 206-228
- https://doi.org/10.1016/0022-0000(87)90013-4
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Semantics of concurrent systems: A modular fixed-point trace approachPublished by Springer Nature ,1985
- Computing the behaviour of asynchronous processesTheoretical Computer Science, 1983
- An algebraic description of system behavioursTheoretical Computer Science, 1982
- Processes of transforming structuresJournal of Computer and System Sciences, 1982
- Behaviours of concurrent systemsTheoretical Computer Science, 1980
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Elements of general net theoryPublished by Springer Nature ,1980