Boumediene Belkhouche R. Raymond Lang Chung Wa Ng A Branching Time Semantics for the Ada Rendezvous Mechanism. 517-524 1996 HICSS (1) http://computer.org/proceedings/hicss/7324/73240517abs.htm db/conf/hicss/hicss1996-1.html#BelkhoucheLN96