Computer-aided veri cation of coordinating processes: the automata-theoretic approach (1994)

by Robert P Kurshan