Communicating X-machines

Information and Software Technology

Volumn 38, Issue 6, 1996, Pages 401-407

  Barnard, J ^a   Whitworth, J ^a   Woodward, M ^a  

^a STAFFORDSHIRE UNIVERSITY   (United Kingdom)

Author keywords

Alternating bit protocol; Communicating X machines; Communication; Ports; X machines

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); COMPUTER SIMULATION; DATA COMMUNICATION SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; NETWORK PROTOCOLS; SPECIFICATIONS;

ALTERNATING BIT PROTOCOL; COMMUNICATING X MACHINES; DATA MODELING; FINITE STATE MACHINE;

FINITE AUTOMATA;

EID: 0030172203     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/0950-5849(95)01066-1     Document Type: Article

References (8)

1. S. Eilenberg, Automata, Languages and Machines, Vol. A, Academic Press, New York, 1974.
2. M. Holcombe, X-machines as a basis for dynamic system specification, Software Engineering Journal (March 1988).
3. J. Barnard, X-machine specification, verification and testing techniques, M.Sc. Thesis, University of Sheffield, 1993.
4. G. Laycock, Introduction to X-machines, Research Report CS-93-13, Department of Computer Science, University of Sheffield, 1993.
5. J.L. Peterson, Petri Net Theory and the Modelling of Systems, Prentice-Hall, Englewood Cliffs, NJ, 1981.
6. A. Hoare, Communicating Sequential Processes, Prentice-Hall, Englewood Cliffs, NJ, 1985.
7. G.M. Lundy and R.E. Miller, Specification and analysis of a data transfer protocol using systems of communicating machines, Distributed Computing, 5 (1991) 145-157.
8. M.A. Jackson, System Development, Prentice-Hall, Englewood Cliffs, NJ, 1983.