I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract).

Sandeep K. Shukla Harry B. Hunt III Daniel J. Rosenkrantz S. S. Ravi Richard Edwin Stearns I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract). 122 1996 conf/podc/1996 PODC db/conf/podc/podc96.html#ShuklaHRRS96 http://doi.acm.org/10.1145/248052.248072