Lazy Reachability Analysis in Distributed Systems.

Log Jezequel, Didier Lime

Browse the full CONCUR paper archive.