Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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
2012
2012
Visualized and Abstract Formal Modeling towards the Multi-Agent Systems
Multi-agent systems technology has generated lots of incitements, because of it used for distributed, intelligent and safety… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
2008
2008
Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services
The emerging web service paradigm offers an innovative and practical platform for business to business collaboration and… Expand
  • figure 1
  • figure 2
  • figure 3
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
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
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
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
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
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
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
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