A sound and complete Hoare axiomatization of the Ada-rendezvous

• Authors:

• Rob Gerth

• Affiliations:

• Univ. of Utrecht, Utrecht, The Netherlands

• Venue:
• Ninth colloquium on Automata, languages, and programming.
• Year:
• 2000