A Sound and Complete Hoare Axiomatization of the Ada-Rendevous.

Rob Gerth

Browse the full ICALP paper archive.