Verifying programs with unreliable channels (1996)

by P A Abdulla, B Jonsson
Venue:Inf. Comput