- The basic introduction to them, which summarises the ideas from these papers.
- The different variants of the CSXMS model that have evolved, as documented in the different papers.
- The projects that are currently available, concerned with investigating topics related to it.

The approach that has been taken here is simply to list the papers in chronological order, with relevant notes for each. For each paper an abstract is available, and where an electronic version of the full text is available then there is a link to this too. This will either be to the site for the conference or journal in which the paper was published, or for some (where the original version might be hard to get at, and I don't have to worry about copyright restrictions) the full text is available here, as an Adobe Acrobat pdf file.

In order, the titles of the papers are as follows.

- Modelling Logic Programming Using a Network of Communicating Machines ;
- Communicating Stream X-Machines are
no more
than X-Machines ;

- A Structured Way to Use Channels for Communication in X-Machine Systems ;
- P Systems with replicated rewriting and stream X-machines ;
- P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines) ;
- Design Models and the Complexity of the Testing Problem for Distributed Systems ;
- Foundations of the X-machine Theory for Testing ;
- Systems of Communicating X-machines for Specifying Distributed Systems ;
- Formal Verification of X-machine models: Towards Formal Development of Computer-Based Systems ;
- An Agile Formal Development Methodology ;
- Unifying Programming Paradigms: Logic
programming & finite state automata ;

- Conformance Testing of Distributed Systems: an X-machine based Approach ;
- A Formal Model for Test Frames ;

The authors are P. R. Bird and A. J. Cowling. The paper was published in the proceedings of the 2nd Euromicro Workshop on Parallel and Distributed Processing, pages 156 - 161. This workshop was held in Malaga on 26th to 28th January 1994.

The abstract is available.

The full
text is available from the IEEE Xplore archive, for those who have
a subscription to this archive.

The authors are T. Balanescu, A. J. Cowling, H. Georgescu, M.
Gheorghe,
M. Holcombe and C. Vertan. The paper was published in the *Journal
of Universal Computer Science*, Volume **5**, Issue 9 (1999),
which
is an electronic journal.

The abstract is available.

The full
text is available from the e-journal website.

The authors are A. J. Cowling, H. Georgescu and C. Vertan. The
paper was published in *Formal Aspects of Computing*, Volume **12**,
Number 6 (December 2000), pages 485 - 500.

The abstract is available.

I can supply offprints of the full paper on request.

The authors are J. Aguado, T. Balanescu, A. J. Cowling, M. Gheorghe and F. Ipate. The paper was published in the pre-proceedings of the Workshop on Membrane Computing which was held in Curtea d'Arges, Romania on 20-25 August, 2001, pages 7 - 18. These pre-proceedings were edited by C. Martin-Vide and G. Paun, and published as report 17/01 of the Research Group on Mathematical Linguistics, Rovira i Virgili University, Tarragona, Spain (whose page provides, amongst other things, a list of these reports, but no link to download a copy of this one).

The abstract is available.

The full paper is available from the P
Systems web site (the format is not specified there, but presumably
is zipped postscript).

For this version of the paper the authors are J. Aguado, T.
Balanescu,
A. J. Cowling, M. Gheorghe, M. Holcombe and F. Ipate. The paper
was
published in *Fundamenta Informaticae*, Volume **49**.1-3
(2002),
pages 17 - 33.

The abstract is available.

The full text of this version is available
electronically, but there do not seem to be direct links to it:
the abstract page gives more details of how to find it.

The authors are J. Aguado and A. J. Cowling. The paper was published in the proceedings of the Workshop on the Semantic Foundations of Engineering Design Languages (edited by Gerald Luettgen, Michael Mendler & Florence Maraninchi), pages 119 - 137. This workshop was held in Grenoble on 14th April 2002, as a satellite workshop to the ETAPS joint conferences.

The abstract is available.

The full text is not publically available electronically.

The authors are J. Aguado and A. J. Cowling, and it was published as a departmental research report, under the reference CS-02-06 (2002).

The abstract is available.

The full
text is available, from the department's research
report archive.

Systems of Communicating X-machines for Specifying Distributed Systems

The authors are J. Aguado and A. J. Cowling, and it was published as a departmental research report, under the reference CS-02-07 (2002).

The abstract is available.

The full
text is available, from the department's research
report archive.

Although the work was carried out under supervision, G. Eleftherakis is the sole author (as is the normal practice for PhD theses).

The abstract is available.

The full
text is available, from the department's research
thesis
archive (size about 1.51MB).

The authors are G. Eleftherakis and A. J. Cowling. The paper was published in the proceedings of the First South-East European Workshop on Formal Methods (edited by Dimitris Dranidis and Kalliope Tigka), pages 36 - 47. These proceedings were produced by SEERC (the South-East European Research Centre), Thessaloniki, 2004, and more details of them can be found at the SEERC page by following the links to Publications, and then SEERC Publications. This workshop was held in Thessaloniki on 20th November 2003, as a satellite to the 1st Balkan conference in Informatics.

The abstract is available.

The full
text is available, as an Adobe Acrobat
pdf file (size 563kB).

Although the work was carried out under supervision, P. R. Bird is the sole author (as is the normal practice for PhD theses).

The abstract is available.The full text is available, from the department's research thesis archive (size about 1.39MB).

Although the work was carried out under supervision, J. Aguado is the sole author (as is the normal practice for PhD theses).

The abstract is available.The full text is available, from the department's research thesis archive (size about 4.6MB).

The author is A. J. Cowling, and it was published in the proceedings of the UK Software Testing Conference 2005 (edited by Phil McMinn), pages 83 - 98. This conference was held in Sheffield on 5th and 6th September 2005, and the full proceedings were published as a departmental research report, under the reference CS-05-07 (2005), and are available from the department's research report archive.

The abstract is available.

The full text (ie just of this paper) is available, as an Adobe Acrobat pdf file (size 103kB).

- Jump Back to a section of this page:
- top of the page ;
- Overview of Papers ;
- Modelling Logic Programming Using a Network of Communicating Machines ;
- Communicating Stream X-Machines are no more than X-Machines ;
- A Structured Way to Use Channels for Communication in X-Machine Systems ;
- P Systems with replicated rewriting and stream X-machines ;
- P Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines) ;
- Design Models and the Complexity of the Testing Problem for Distributed Systems ;
- Foundations of the X-machine Theory for Testing ;
- Systems of Communicating X-machines for Specifying Distributed Systems ;
- Formal Verification of X-machine models: Towards Formal Development of Computer-Based Systems ;
- An Agile Formal Development Methodology ;
- Unifying Programming Paradigms: Logic programming & finite state automata ;
- Conformance Testing of Distributed Systems: an X-machine based Approach ;
- A Formal Model for Test Frames ;
- Go to main CSXMS page;
- Go to other CSXMS pages:
- Go to Personal Page.

This page created by A. J. Cowling, and last updated on 13 October 2006