Skip to search formSkip to main content

Communicating X-Machine

The Communicating (Stream) X-Machine is a model of computation introduced by various researchers in the 1990s to model systems composed of… Expand
Wikipedia

Related topics

Related topics

3 relations
Stream X-MachineX-machine

Broader (1)

Theory of computation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Formal modeling towards a dynamic organization of multi-agent systems using communicating X-machine and Z-notation
The real world is a dynamic place where things change in an unexpected way. Software must be able to adapt these changes to work… Expand
Is this relevant?
2008
2008
Transforming State-Based Models to P Systems Models in Practice
We present an automatic practical transformation of Communicating X-machines to Population P Systems. The resulting compiler is… Expand
Is this relevant?
2008
2008
Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services
Fibres are produced by centrifugally spinning a formaldehyde resin, e.g. a UF resin, plus catalyst and contacting the spun fibres… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2005
2005
Automatic Generation of Java Code From Communicating X-machine specifications
The state transition diagrams of the queue and button X-machines The state transition diagram of the lift X-machine v Declaration… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2004
2004
Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems
Dynamic organization of multi-agent systems can be inspired by the way biological systems adapt to the evolution of their… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
Modeling Biology Inspired Reactive Agents Using X-machines
� Abstract—Recent advances in both the testing and verification of software based on formal specifications of the system to be… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Review
2002
Review
2002
Systems of Communicating X-machines for Specifying Distributed Systems Research Report CS-02-07
Various approaches have been proposed to the problem of assembling X-machines (also known as Eilenberg X-machines) into a… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
2001
2001
Communicating X-Machines: From Theory to Practice
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2000
2000
A New Approach to Communicating X-Machine Systems
This paper presents a new model for the speci cation of communicating X-machine systems (CXMS). In previous papers, systems of X… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
1996
1996
Communicating X-machines
Abstract This paper presents the communicating X-machine model for the specification of communicating systems, such as… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE