scientific article; zbMATH DE number 1543360

MaRDI QIDQ4520835zbMATH OpenFDO

Authors Horia Georgescu, Cristina Vertan

Publication date 27 February 2001

Full work available at URL http://www.jucs.org/jucs_6_5/a_new_approach_to

zbMATH Keywords

X-machine systems

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• A new approach to communicating X-machines systems
• scientific article; zbMATH DE number 1953872
• Transforming communicating X-machines into P systems
• Modelling P systems by communicating X-machine systems
• A structured way to use channels for communication in X-machine systems
• scientific article; zbMATH DE number 1543314
• On Communicating Finite-State Machines
• Testing conditions for communicating stream \(X\)-machine systems
• On the Expressive Power of Communication Primitives in Parameterised Systems
• A characterization of definable communicating systems

Cited in

(9)

• Testing against a non-controllable stream X-machine using state counting
• A unified integration and component testing approach from deterministic stream X-machine specifications
• Deadlock detection in communicating stream X-machine systems
• scientific article; zbMATH DE number 1953872 (Why is no real title available?)
• scientific article; zbMATH DE number 1543314 (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
• A structured way to use channels for communication in X-machine systems
• Testing data processing-oriented systems from stream X-machine models

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 Q4520835)