Modular specification of process algebras
- 7 June 1993
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 113 (2) , 293-348
- https://doi.org/10.1016/0304-3975(93)90006-f
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Module algebraJournal of the ACM, 1990
- Views of queuesScience of Computer Programming, 1988
- Global renaming operators in concrete process algebraInformation and Computation, 1988
- On the consistency of Koomen's Fair Abstraction RuleTheoretical Computer Science, 1987
- Ready-Trace Semantics for Concrete Process Algebra with the Priority OperatorThe Computer Journal, 1987
- Algebraic specification and proof of a distributed recovery algorithmDistributed Computing, 1987
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Algèbre de processus et synchronisationTheoretical Computer Science, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- On the Structure of Abstract AlgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1935