BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Greece
1 × Ireland
1 × Israel
1 × Portugal
1 × The Netherlands
20 × USA
Collaborated with:
M.J.Fischer A.Fekete W.E.Weihl M.Merritt S.Umeno H.E.Jensen K.J.Goldman G.N.Frederickson E.K.Blum S.Ginsburg J.F.Søgaard-Andersen S.J.Garland F.Kuhn R.Oshman C.Djouvas N.D.Griffeth J.Hickey R.v.Renesse M.Paterson R.A.DeMillo E.Arjomandi R.E.Ladner A.L.Selman A.R.Meyer I.Keidar R.Khazan A.A.Shvartsman R.Gawlick R.Segala H.Attiya C.Dwork L.J.Stockmeyer T.N.Win M.D.Ernst D.K.Kaynar J.V.Guttag A.Pogosyants J.Aspnes
Talks about:
distribut (5) proof (5) time (5) transact (4) system (4) nest (4) algorithm (3) comput (3) simul (3) model (3)

Person: Nancy A. Lynch

DBLP DBLP: Lynch:Nancy_A=

Facilitated 2 volumes:

STOC 1983Ed
STOC 1979Ed

Contributed to:

LICS 20132013
STOC 20102010
STOC 20072007
FM 20062006
MBT 20062006
VMCAI 20032003
ICSE 20002000
TACAS 19991999
TACAS 19981998
ICALP 19941994
CAV 19931993
STOC 19911991
LICS 19901990
PODS 19901990
VLDB 19881988
PODS 19871987
STOC 19841984
PODS 19831983
PODS 19821982
STOC 19821982
STOC 19811981
STOC 19801980
STOC 19781978
STOC 19771977
STOC 19751975
STOC 19741974
STOC 19731973

Wrote 28 papers:

LICS-2013-Lynch #automaton #probability
Timed and Probabilistic I/O Automata (NAL), p. 12.
STOC-2010-KuhnLO #distributed #network
Distributed computation in dynamic networks (FK, NAL, RO), pp. 513–522.
STOC-2007-Lynch #algorithm #distributed #modelling #proving
Distributed computing theory: algorithms, impossibility results, models, and proofs (NAL), p. 247.
FM-2006-UmenoL #automaton #case study #protocol #proving #safety #theorem proving #using
Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study (SU, NAL), pp. 64–80.
MBT-2006-DjouvasGL #network #self #testing
Testing Self-Similar Networks (CD, NDG, NAL), pp. 67–82.
VMCAI-2003-WinEGKL #algorithm #distributed #execution #using #verification
Using Simulated Execution in Verifying Distributed Algorithms (TNW, MDE, SJG, DKK, NAL), pp. 283–297.
ICSE-2000-KeidarKLS #incremental #proving #simulation
An inheritance-based technique for building simulation proofs incrementally (IK, RK, NAL, AAS), pp. 478–487.
TACAS-1999-HickeyLR #proving #specification
Specifications and Proofs for Ensemble Layers (JH, NAL, RvR), pp. 119–133.
TACAS-1998-JensenL #abstraction #algorithm #proving #using
A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction (HEJ, NAL), pp. 409–423.
ICALP-1994-GawlickSSL #liveness
Liveness in Timed and Untimed Systems (RG, RS, JFSA, NAL), pp. 166–177.
CAV-1993-Sogaard-AndersenGGLP #proving #simulation
Computer-Assisted Simulation Proofs (JFSA, SJG, JVG, NAL, AP), pp. 305–319.
STOC-1991-AttiyaDLS #bound #nondeterminism
Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty (HA, CD, NAL, LJS), pp. 359–369.
LICS-1990-GoldmanL #modelling
Modelling Shared State in a Shared Action Model (KJG, NAL), pp. 450–463.
PODS-1990-FeketeLW #graph #transaction
A Serialization Graph Construction for Nested Transactions (AF, NAL, WEW), pp. 94–108.
VLDB-1988-AspnesFLMW #concurrent #formal method #transaction
A Theory of Timestamp-Based Concurrency Control for Nested Transactions (JA, AF, NAL, MM, WEW), pp. 431–444.
PODS-1987-FeketeLMW #transaction
Nested Transactions and Read/Write Locking (AF, NAL, MM, WEW), pp. 97–111.
STOC-1984-FredericksonL #communication #problem
The Impact of Synchronous Communication on the Problem of Electing a Leader in a Ring (GNF, NAL), pp. 493–503.
PODS-1983-FischerLP #distributed #process
Impossibility of Distributed Consensus with One Faulty Process (MJF, NAL, MP), pp. 1–7.
PODS-1983-Lynch #concurrent #transaction
Concurrency Control for Resilient Nested Transactions (NAL), pp. 166–181.
PODS-1982-Lynch #multi
Multilevel Atomicity (NAL), pp. 63–69.
STOC-1982-DeMilloLM #encryption #protocol
Cryptographic Protocols (RAD, NAL, MM), pp. 383–400.
STOC-1981-ArjomandiFL #difference #performance
A Difference in Efficiency between Synchronous and Asynchronous Systems (EA, MJF, NAL), pp. 128–132.
STOC-1980-Lynch #distributed #performance
Fast Allocation of Nearby Resources in a Distributed System (NAL), pp. 70–81.
STOC-1978-Lynch #complexity #metric #parametricity
Straight-Line Program Length as a Parameter for Complexity Measures (NAL), pp. 150–161.
STOC-1977-LynchB #performance #programming
Efficient Reducibility Between Programming Systems: Preliminary Report (NAL, EKB), pp. 228–238.
STOC-1975-GinsburgL #comparative #complexity
Comparative Complexity of Grammar Forms (SG, NAL), pp. 153–158.
STOC-1974-LadnerLS #polynomial
Comparisons of Polynomial-Time Reducibilities (REL, NAL, ALS), pp. 110–121.
STOC-1973-LynchMF #set
Sets that Don’t Help (NAL, ARM, MJF), pp. 130–134.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.