Failure-equivalent transformation of transition systems to avoid internal actions
- 28 December 1992
- journal article
- Published by Elsevier in Information Processing Letters
- Vol. 44 (6) , 333-343
- https://doi.org/10.1016/0020-0190(92)90110-h
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Testing communication protocolsIEEE Software, 1992
- The derivation of conformance tests from LOTOS specificationsIEEE Transactions on Software Engineering, 1990
- Extensional equivalences for transition systemsActa Informatica, 1987
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984
- Communicating sequential processesCommunications of the ACM, 1978