Reachability Problems for Cyclic Protocols.

Hong Liu, Raymond E. Miller

Browse the full ICCCN paper archive.