Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution
arXiv:cs/9810022
Abstract
We apply the Gurevich Abstract State Machine methodology to a benchmark specification problem of Broy and Lamport.
arXiv:cs/9810022
We apply the Gurevich Abstract State Machine methodology to a benchmark specification problem of Broy and Lamport.