Publication:4520784
From MaRDI portal
zbMath0960.68005MaRDI QIDQ4520784
Tudor Bălănescu, Marian Gheorghe, Cristina Vertan, Mike Holcombe, Horia Georgescu, Anthony J. Cowling
Publication date: 27 February 2001
Full work available at URL: http://www.jucs.org/jucs_5_9/communicating_stream_x_machines
68M10: Network design and communication in computer systems
Related Items
A unified integration and component testing approach from deterministic stream X-machine specifications, Automata and processes on multisets of communicating objects, Testing data processing-oriented systems from stream X-machine models, Checking experiments for stream X-machines, Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine, Testing conformance of a deterministic implementation against a non-deterministic stream X-machine, Testing against a non-controllable stream X-machine using state counting