Search
for Author
All Reviews
Demers, Alan
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
Date Reviewed
1
-
2
of
2
reviews
Implementing multiple locks using Lamport’s mutual exclusion algorithm
Boehm H., Demers A., Uhler C. ACM Letters on Programming Languages and Systems 2(1-4): 46-58, 1993. Type: Article
The implementation of spin locks using Lamport’s fast algorithm for mutual exclusion [1] is described. A straightforward implementation of Lamport’s algorithm would replicate all of its variables, including the Bool...
...
May 1 1995
A model and temporal proof system for networks of processes
Nguyen V., Demers A., Gries D., Owicki S. Literary & Linguistic Computing 1(1): 7-25, 1986. Type: Article
A new technique for process modeling, based on the notion of
behavior
, is presented. This technique can be applied to modeling networks of processes communicating exclusively through message-passing. A sound and complete tempora...
...
May 1 1987
Reproduction in whole or in part without permission is prohibited. Copyright 1999-2024 ThinkLoud
®
Terms of Use
|
Privacy Policy