TY - GEN
T1 - A branching time semantics for the Ada * rendezvousmechanism
AU - Belkhouche, Boumediene
AU - Lang, R. Raymond
AU - Wang, Chung
N1 - Publisher Copyright:
© 1996 IEEE
PY - 1996
Y1 - 1996
N2 - Bmnching-time semantics b e d on domaina built upon tree structures have been proposed to model concurrent processes. Howeiuer, the resulting models imposed severe restrictwna to enaure monotonicity and wmpositwndity. To oddress these iaaues, we wn-struct a semantic domain!without ractijking these two properties. We ala0 provide a simpk and faithfd semantics of the Ada rendtrzvow mechanism.
AB - Bmnching-time semantics b e d on domaina built upon tree structures have been proposed to model concurrent processes. Howeiuer, the resulting models imposed severe restrictwna to enaure monotonicity and wmpositwndity. To oddress these iaaues, we wn-struct a semantic domain!without ractijking these two properties. We ala0 provide a simpk and faithfd semantics of the Ada rendtrzvow mechanism.
UR - http://www.scopus.com/inward/record.url?scp=30944460451&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=30944460451&partnerID=8YFLogxK
U2 - 10.1109/HICSS.1996.495501
DO - 10.1109/HICSS.1996.495501
M3 - Conference contribution
AN - SCOPUS:30944460451
T3 - Proceedings of the Annual Hawaii International Conference on System Sciences
SP - 517
EP - 524
BT - Architecture and Software Technology
PB - IEEE Computer Society
T2 - 29th Hawaii International Conference on System Sciences, HICSS 1996
Y2 - 3 January 1996 through 6 January 1996
ER -