scientific article; zbMATH DE number 1543314
From MaRDI portal
Publication:4520784
zbMATH Open0960.68005MaRDI QIDQ4520784FDOQ4520784
Authors: Tudor Bălănescu, Anthony J. Cowling, Horia Georgescu, Marian Gheorghe, Mike Holcombe, Cristina Vertan 
Publication date: 27 February 2001
Full work available at URL: http://www.jucs.org/jucs_5_9/communicating_stream_x_machines
Title of this publication is not available (Why is that?)
Recommendations
Cited In (16)
- On the Minimality of Stream X-machines
- Title not available (Why is that?)
- A unified integration and component testing approach from deterministic stream X-machine specifications
- An efficient way to model \(P\) systems by \(X\)-machine systems
- Modelling P systems by communicating X-machine systems
- Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
- Deadlock detection in communicating stream X-machine systems
- A structured way to use channels for communication in X-machine systems
- Generalised stream X-machines and cooperating distributed grammar systems
- Title not available (Why is that?)
- Testing data processing-oriented systems from stream X-machine models
- Checking experiments for stream X-machines
- Automata and processes on multisets of communicating objects
- Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
- Testing against a non-controllable stream X-machine using state counting
- A new approach to communicating X-machines systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4520784)
