A Branching Time Semantics for the Ada Rendezvous Mechanism. - Boumediene Belkhouche; R. Raymond Lang; Chung Wa Ng (HICSS (1), 1996)