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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
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
We present an automatic practical transformation of Communicating X-machines to Population P Systems. The resulting compiler is… Expand
Is this relevant?
2008
2008
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
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
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
� 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
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
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
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
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?