Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution
Abstract
We apply the Gurevich Abstract State Machine methodology to a benchmark specification problem of Broy and Lamport.
- Publication:
-
arXiv e-prints
- Pub Date:
- October 1998
- DOI:
- 10.48550/arXiv.cs/9810022
- arXiv:
- arXiv:cs/9810022
- Bibcode:
- 1998cs.......10022H
- Keywords:
-
- Computer Science - Software Engineering;
- D.2.4