Testability of a communicating system through an environment
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 529-543
- https://doi.org/10.1007/3-540-56610-4_87
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A framework based on implementation relations for implementing LOTOS specificationsComputer Networks and ISDN Systems, 1992
- Extensional equivalences for transition systemsActa Informatica, 1987
- Observation equivalence as a testing equivalenceTheoretical Computer Science, 1987
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985
- Testing equivalences for processesTheoretical Computer Science, 1984
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980