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

James K. Huggins

Published in: CoRR (1998)

Keyphrases

state machine
state machines
fault tolerant
finite state machines
data sets
optimal solution
case study
case based reasoning
distributed systems
petri net
mathematical model
solution space
exact solution
knowledge level
linear equations