scientific article; zbMATH DE number 1543314

MaRDI QIDQ4520784zbMATH OpenFDO

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

zbMATH Keywords

stream \(X\)-machine model

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• Testing conditions for communicating stream \(X\)-machine systems
• An efficient way to model P systems by X-machine systems
• scientific article; zbMATH DE number 1543360
• A new approach to communicating X-machines systems
• Modelling P systems by communicating X-machine systems

Cited in

(17)

• 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
• A unified integration and component testing approach from deterministic stream X-machine specifications
• scientific article; zbMATH DE number 994856 (Why is no real title available?)
• Deadlock detection in communicating stream X-machine systems
• Modelling P systems by communicating X-machine systems
• scientific article; zbMATH DE number 1953872 (Why is no real title available?)
• On the Minimality of Stream X-machines
• scientific article; zbMATH DE number 1543360 (Why is no real title available?)
• An efficient way to model P systems by X-machine systems
• A new approach to communicating X-machines systems
• Generalised stream X-machines and cooperating distributed grammar systems
• A structured way to use channels for communication in X-machine systems
• Automata and processes on multisets of communicating objects
• Testing data processing-oriented systems from stream X-machine models
• Checking experiments for stream X-machines

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)