Stuck-Free Conformance
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Stuck-Free ConformancePublished by Springer Nature ,2004
- Conformance Checking for Models of Asynchronous Message Passing SoftwarePublished by Springer Nature ,2002
- Interface Theories for Component-Based DesignPublished by Springer Nature ,2001
- Alternating refinement relationsPublished by Springer Nature ,1998
- Towards dataflow analysis of communicating finite state machinesPublished by Association for Computing Machinery (ACM) ,1989
- Refusal testingTheoretical Computer Science, 1987
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984