H. E. Bal. Comparing data sychronization in Ada 95 and Orca. ACM Ada Letters, 15(1):5063, Jan/Feb 1995. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Synchronising with First-Class Conditions - Afshartous (Correct)
....not missed the cars can miss a signal change Next, we examine some more recent forms of conditional synchronization. 1.1.1. Conditional synchronization in Ada95 and Orca. Both Ada95 [Int95] and Orca [BKT88] have a similar form of conditional synchronization. Figures 1.3 and 1. 4 show examples from [Bal95] that was used to compare the synchronization facilities of the two languages. Both examples implement a shared counter abstraction whose operations may be invoked concurrently. Updates to variables inside the Orca object and the 1 2 object specification Counter; operation Val( integer; ....
H. E. Bal. Comparing data sychronization in Ada 95 and Orca. ACM Ada Letters, 15(1):5063, Jan/Feb 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC