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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2011

Formal development of agent systems with inherent high complexity is not a trivial task, especially if a formal method used is…

2009

We present an automatic practical transformation of Communicating X-machines to Population P Systems. The resulting compiler is…

2008

The emerging web service paradigm offers an innovative and practical platform for business to business collaboration and…

2007

� Abstract—Recent advances in both the testing and verification of software based on formal specifications of the system to be…

2005

The X-machine formal method forms the basis for a specification/modeling language with a substantial potential value to software…

Review

2002

Review

2002

Various approaches have been proposed to the problem of assembling X-machines (also known as Eilenberg X-machines) into a…

2001

Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development…

2000

This paper presents a new model for the speci cation of communicating X-machine systems (CXMS). In previous papers, systems of X…