A process algebraic view of input/output automata
- 1 February 1995
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 138 (2) , 391-423
- https://doi.org/10.1016/0304-3975(95)92307-j
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Receptive process theoryActa Informatica, 1992
- Extensional equivalences for transition systemsActa Informatica, 1987
- Higher-level synchronising devices in Meije-SCCSTheoretical Computer Science, 1985