Broy-Lamport规格说明问题：一个Gurevich抽象状态机解决方案
Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution
摘要：
我们应用古列维奇抽象状态机方法的基准规范问题的Broy和Lamport。
英文摘要：
We apply the Gurevich Abstract State Machine methodology to a benchmark specification problem of Broy and Lamport.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
