Communicating X-machines
- 1 June 1996
- journal article
- Published by Elsevier in Information and Software Technology
- Vol. 38 (6) , 401-407
- https://doi.org/10.1016/0950-5849(95)01066-1
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Specification and analysis of a data transfer protocol using systems of communicating machinesDistributed Computing, 1991
- X-machines as a basis for dynamic system specificationSoftware Engineering Journal, 1988