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

Browse the full PODC paper archive.