X-machines as a basis for dynamic system specification

1 January 1988

journal article
Published by Institution of Engineering and Technology (IET) in Software Engineering Journal

Vol. 3 (2) , 69-76
https://doi.org/10.1049/sej.1988.0009

Abstract

This paper discusses the concept of an X-machine, which is a general model of computation, with the intention of using this model in the specification of computer systems. The elementary theory of these constructs is briefly described, but the bulk of the paper is concerned with looking at some examples and the ways that these ideas might be useful in the description and analysis of almost any system.

Keywords

This publication has 3 references indexed in Scilit:

Building reliable interactive information systems
IEEE Transactions on Software Engineering, 1986
Circal: A calculus for circuit description
Integration, 1983
Automated Validation of a Communications Protocol: the CCITT X.21 Recommendation
IBM Journal of Research and Development, 1978