A branching time semantics for the Ada rendezvous mechanism | IEEE Conference Publication | IEEE Xplore