Ausgabe 6/2000
Inhalt (7 Artikel)
Original Paper
Testing Conformance to a Quasi-Non-Deterministic Stream X-Machine
R. M. Hierons, M. Harman
Original Paper
Generating Test Sets from Non-Deterministic Stream X-Machines
Florentin Ipate, Mike Holcombe
Original Paper
Generalised Stream X-Machines and Cooperating Distributed Grammar Systems
Marian Gheorghe
Original Paper
A Structured Way to Use Channels for Communication in X-Machine Systems
Anthony J. Cowling, Horia Georgescu, Cristina Vertan