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

(16)

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