Characterizing Termination in LOTOS via Testing
- 1 January 1996
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Termination, deadlock, and divergenceJournal of the ACM, 1992
- Testing equivalences for processesTheoretical Computer Science, 1984
- Process algebra for synchronous communicationInformation and Control, 1984