A structured way to use channels for communication in X-machine systems
From MaRDI portal
Publication:5944216
DOI10.1007/s001650070007zbMath1013.68108MaRDI QIDQ5944216
Anthony J. Cowling, Horia Georgescu, Cristina Vertan
Publication date: 9 July 2003
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001650070007
68Q45: Formal languages and automata
Related Items
A unified integration and component testing approach from deterministic stream X-machine specifications, Testing data processing-oriented systems from stream X-machine models, Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine, Testing against a non-controllable stream X-machine using state counting