[an error occurred while processing this directive]
[an error occurred while processing this directive]Citation: | James K. Huggins, "Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution." University of Michigan EECS Department Technical Report CSE-TR-320-96. |
---|---|
Summary: | An ASM solution to a specification problem written for the Dagstuhl Workshop on Reactive Systems held in Dagstuhl, Germany on 26-30 September, 1994, by Manfred Broy and Leslie Lamport. |
Subjects: | Benchmark Examples, Distributed Systems, Verification |
Download: | LaTeX, PostScript, PDF, Compressed PostScript |
Notes: | The original Dagstuhl workshop proceedings were published as Springer LNCS 1169. |