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