Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 211,148,129 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
3 relations
Stream X-Machine
X-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
G. Ali
,
S. Khan
,
N. Zafar
,
F. Ahmad
2012
Corpus ID: 61025028
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
2008
2008
Integrating Formal Approaches and Simulation to Improve Reliability and Correctness of Web Services
G. Eleftherakis
,
Ognen Paunovski
Modelling, Simulation, Verification and…
2008
Corpus ID: 1203739
The emerging web service paradigm offers an innovative and practical platform for business to business collaboration and…
Expand
2007
2007
Modeling Biology Inspired Reactive Agents Using X-machines
G. Eleftherakis
,
P. Kefalas
,
A. Sotiriadou
,
E. Kehris
International Conference on Computing and…
2007
Corpus ID: 5951035
� Abstract—Recent advances in both the testing and verification of software based on formal specifications of the system to be…
Expand
2005
2005
Automatic Generation of Java Code From Communicating X-machine specifications
Emmanuel Kayode Akinshola Ogunshile
2005
Corpus ID: 16882155
The state transition diagrams of the queue and button X-machines The state transition diagram of the lift X-machine v Declaration…
Expand
2005
2005
Animating Formal Models in a Communicating Sequential Process Platform
I. Sakellariou
,
G. Eleftherakis
,
I. Vlahavas
,
P. Kefalas
2005
Corpus ID: 14326568
The X-machine formal method forms the basis for a specification/modeling language with a substantial potential value to software…
Expand
2004
2004
Modelling Dynamic Organization of Biology-Inspired Multi-agent Systems with Communicating X-Machines and Population P Systems
I. Stamatopoulou
,
M. Gheorghe
,
P. Kefalas
Workshop on Membrane Computing
2004
Corpus ID: 1284491
Dynamic organization of multi-agent systems can be inspired by the way biological systems adapt to the evolution of their…
Expand
Review
2002
Review
2002
Systems of Communicating X-machines for Specifying Distributed Systems Research Report CS-02-07
J. Aguado
,
A. J. Cowling
2002
Corpus ID: 848004
Various approaches have been proposed to the problem of assembling X-machines (also known as Eilenberg X-machines) into a…
Expand
2001
2001
Communicating X-Machines: From Theory to Practice
P. Kefalas
,
G. Eleftherakis
,
E. Kehris
Panhellenic Conference on Informatics
2001
Corpus ID: 14660291
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development…
Expand
2000
2000
A New Approach to Communicating X-Machine Systems
Horia Georgescu
,
C. Vertan
Journal of universal computer science (Online)
2000
Corpus ID: 337053
This paper presents a new model for the speci cation of communicating X-machine systems (CXMS). In previous papers, systems of X…
Expand
1996
1996
Communicating X-machines
Judith Barnard
,
J. Whitworth
,
M. Woodward
Information and Software Technology
1996
Corpus ID: 10151310
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE