Abstract State Machines: Designing Distributed Systems with State Machines and B

Authors:
Bill Stoddart;Steve Dunne;Andy Galloway;Richard Shore
Affiliations:
-;-;-;-
Venue:
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Year:
1998

An Execution Architecture for GSL

ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Global and Communicating State Machine Models in Event Driven B: A Simple Railway Case Study

ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Modelling and proof analysis of interrupt driven scheduling

B'07 Proceedings of the 7th international conference on Formal Specification and Development in B

Hi-index	0.00