Search for Author All Reviews
	Lynch, Nancy     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 9 reviews       Specifying and using a partitionable group communication service Fekete A., Lynch N., Shvartsman A. ACM Transactions on Computer Systems 19(2): 171-216, 2001.  Type: Article A group communication service is a building block for development of practical distributed systems where processes located at different nodes of the system operate collectively as a group using a communication service to multicast mes...... Jul 16 2002     An inheritance-based technique for building simulation proofs incrementally Keidar I., Khazan R., Lynch N., Shvartsman A. ACM Transactions on Software Engineering and Methodology 11(1): 63-91, 2002.  Type: Article, Reviews: (1 of 2) Most specification formalisms recognize the need to build specifications incrementally, and to provide modularity constructs such as refinement and decomposition. The modularity in specifications can be much more beneficial when it als...... Jun 25 2002     An inheritance-based technique for building simulation proofs incrementally Keidar I., Khazan R., Lynch N., Shvartsman A. ACM Transactions on Software Engineering and Methodology 11(1): 63-91, 2002.  Type: Article, Reviews: (2 of 2) This well-written treatise discusses how to verify an implementation of a state-transition system, with respect to its state-based specification (for example, process algebras, I/O automata, or Petri nets.). The novelty of this work l...... Jun 25 2002     The impossibility of implementing reliable communication in the face of crashes Fekete A., Lynch N., Mansour Y., Spinelli J. Journal of the ACM 40(5): 1087-1107, 1993.  Type: Article The authors present a proof that, using the definitions given in the paper, no reliable communication protocol can tolerate crashes of the processors on which the protocol runs. While it is important that such seemingly obvious claims ...... Feb 1 1995     Consensus in the presence of partial synchrony Dwork C., Lynch N., Stockmeyer L. Journal of the ACM 35(2): 288-323, 1988.  Type: Article A distributed set of processors reaches consensus on a value when the correctly performing processors decide on the same value. This outcome is subject to the conditions that if those correct processors begin with the same value, then ...... Apr 1 1989     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy