Abstract state machines: Designing distributed systems with state machines and B

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1393, Issue , 1998, Pages 226-242

  Stoddart, Bill ^a   Dunne, Steve ^a   Galloway, Andy ^a,b   Shore, Richard ^a  

^a TEESSIDE UNIVERSITY   (United Kingdom)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ABSTRACT MACHINES; ABSTRACT STATE MACHINES; ACTION SYSTEMS; DISTRIBUTED SYSTEMS; PARALLEL COMBINATION; STATE DIAGRAM; STATE MACHINE; SYNCHRONOUS MODELS;

MACHINE COMPONENTS;

EID: 84949256671     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0053364     Document Type: Conference Paper

References (9)

1. J R Abrial. Extending B without Changing it (for Developing Distributed Systems). In H Habrias, editor, The First B Conference, ISBN: 2-906082-25-2, 1996.
2. Jean-Raymond Abrial. The B Book. Cambridge University Press, 1996.
3. M Butler and M Waldén. Distributed System Development in B. In H Habrias, editor, The First B Conference, ISBN: 2-906082-25-2, 1996.
4. M J Butler. An approach to the design of distributed systems with B AMN. In J P Bowen, M J Hinchey, and Till D, editors, ZUM’97: The Z Formal Specification Notation, number 1212 in Lecture Notes in Computer Science, 1997.
5. A J Galloway and Stoddart W J. An Operational Semantics for ZCCS. In M J Hinchey, editor, Proc of ICEEM, 1997.
6. K Lano. Specifying Reactive Systems in B AMN. In J P Bowen, M J Hinchey, and Till D, editors, ZUM’97: The Z Formal Specification Notation, number 1212 in Lecture Notes in Computer Science, 1997.
7. Greg Nelson. A Generalization of Dijkstra’s Calculus. ACM Transactions on Programming Languages and Systems, Vol 11, No. 4, 1989.
8. W J Stoddart. The Event Calculus, vsn 2. Technical Report tees-scm-1-96, University of Teesside, UK, 1996.
9. W J Stoddart. An Introduction to the Event Calculus. In J P Bowen, M J Hinchey, and Till D, editors, ZUM’97: The Z Formal Specification Notation, number 1212 in Lecture Notes in Computer Science, 1997.