Modular specifications in process algebra
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 465-506
- https://doi.org/10.1007/bfb0015049
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Toward formal development of programs from algebraic specifications: Implementations revisitedActa Informatica, 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
- Refusal testingTheoretical Computer Science, 1987
- Bounded nondeterminism and the approximation induction principle in process algebraPublished by Springer Nature ,1987
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986
- 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