Title :
A branching time semantics for the Ada rendezvous mechanism
Author :
Belkhouche, Boumediene ; Lang, R. Raymond ; Ng, Chung Wa
Author_Institution :
Dept. of Comput. Sci., Tulane Univ., New Orleans, LA, USA
Abstract :
Branching-time semantics based on domains built upon tree structures have been proposed to model concurrent processes. However, the resulting models imposed severe restrictions to ensure monotonicity and compositionality. To address these issues, we construct a semantic domain without sacrificing these two properties. We also provide a simple and faithful semantics of the Ada rendezvous mechanism
Keywords :
Ada; computational linguistics; parallel processing; trees (mathematics); Ada rendezvous mechanism; branching time semantics; compositionality; model concurrent processes; monotonicity; semantic domain; tree structures; Computer science; Concrete; Educational institutions; Extraterrestrial measurements; Finite element methods; Production; Refining; System recovery; Tree data structures;
Conference_Titel :
System Sciences, 1996., Proceedings of the Twenty-Ninth Hawaii International Conference on ,
Conference_Location :
Wailea, HI
Print_ISBN :
0-8186-7324-9
DOI :
10.1109/HICSS.1996.495501
