Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution

Details Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution

1998-10-26

arxiv.org/abs/cs/9810022v1

Computer Science

Software Engineering

Scientific paper

We apply the Gurevich Abstract State Machine methodology to a benchmark
specification problem of Broy and Lamport.

Affiliated with

Also associated with

No associations

Rating

Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Broy-Lamport Specification Problem: A Gurevich Abstract State Machine Solution will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-311355