Multilevel atomicity. A new correctness criterion for database concurrency controlLYNCH, N. A.ACM transactions on database systems. 1983, Vol 8, Num 4, pp 484-502, issn 0362-5915Article

Multivalued possibilities mappingsLYNCH, N. A.Lecture notes in computer science. 1990, Vol 430, pp 519-543, issn 0302-9743, 25 p.Conference Paper

Bounds on shared memory for mutual exclusionBURNS, J. E; LYNCH, N. A.Information and computation (Print). 1993, Vol 107, Num 2, pp 171-184, issn 0890-5401Article

Impossibility of distributed consensus with one faulty processFISCHER, M. J; LYNCH, N. A; PATERSON, M. S et al.Journal of the Association for Computing Machinery. 1985, Vol 32, Num 2, pp 374-382, issn 0004-5411Article

A tradeoff between safety and liveness for randomized coordinated attackVARGHESE, G; LYNCH, N. A.Information and computation (Print). 1996, Vol 128, Num 1, pp 57-71, issn 0890-5401Article

Rapid development of severe hyperplastic gastritis with gastric epithelial dedifferentiation in Helicobacter felis-lnfected IL-10^-/- miceBERG, D. J; LYNCH, N. A; LYNCH, R. G et al.The American journal of pathology. 1998, Vol 152, Num 5, pp 1377-1386, issn 0002-9440Article

Formal verification of safety-critical hybrid systemsLIVADAS, C; LYNCH, N. A.Lecture notes in computer science. 1998, pp 253-272, issn 0302-9743, isbn 3-540-64358-3Conference Paper

A proof of the Kahn principle for input/output automataLYNCH, N. A; STARK, E. W.Information and computation (Print). 1989, Vol 82, Num 1, pp 81-92, issn 0890-5401Article

A technique for decomposing algorithms which use a single shared variableLYNCH, N. A; FISCHER, M. J.Journal of computer and system sciences (Print). 1983, Vol 27, Num 3, pp 350-377, issn 0022-0000Article

Age and gender comparisons of muscle strength in 654 women and men aged 20-93 yrLINDLE, R. S; METTER, E. J; LYNCH, N. A et al.Journal of applied physiology (1985). 1997, Vol 83, Num 5, pp 1581-1587, issn 8750-7587Article

Distributed FIFO allocation of identical resources using small shared spaceFISCHER, M. J; LYNCH, N. A; BURNS, N. A et al.ACM transactions on programming languages and systems. 1989, Vol 11, Num 1, pp 90-114, issn 0164-0925Article

Discarding obsolete information in a replicated database systemSARIN, S. K; LYNCH, N. A.IEEE transactions on software engineering. 1987, Vol 13, Num 1, pp 39-47, issn 0098-5589Article

Probabilistic analysis of a network resource allocation algorithmLYNCH, N. A; GRIFFETH, N. D; FISCHER, M. J et al.Information and control. 1986, Vol 68, Num 1-3, pp 47-85, issn 0019-9958Article

Reaching approximate agreement in the presence of faultsDOLEV, D; LYNCH, N. A; PINTER, S. S et al.Journal of the Association for Computing Machinery. 1986, Vol 33, Num 3, pp 499-516, issn 0004-5411Article

Efficiency of synchronous versus asynchronous distributed systemsARJOMANDI, E; FISCHER, M. J; LYNCH, N. A et al.Journal of the Association for Computing Machinery. 1983, Vol 30, Num 3, pp 449-456, issn 0004-5411Article