Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution
<|reference_start|>Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution: We apply the Gurevich Abstract State Machine methodology to a benchmark specification problem of Broy and Lamport.<|reference_end|>
@article{huggins1998broy-lamport,
    title={Broy-Lamport Specification Problem: A Gurevich Abstract State Machine
  Solution},
    author={James K. Huggins},
    journal={arXiv preprint arXiv:cs/9810022},
    year={1998},
    number={University of Michigan EECS Department Technical Report
  CSE-TR-320-96},
    archivePrefix={arXiv},
    eprint={cs/9810022},
    primaryClass={cs.SE}
}