Model Checking Lossy Channels Systems Is Probably Decidable.

Nathalie Bertrand, Philippe Schnoebelen

Browse the full FOSSACS paper archive.