fault tolerance

Queues and algebra

February 28, 2010 | 0 Comments

Suppose we have a state machine Q, that implements a common first in first out queue. The input alphabet of Q consists of “Deq” and “Enq x” where [...]