Verifying programs with unreliable channels. (1996)

by P A Abdulla, B Jonsson
Venue:Inf. and Comp.,