1998 |
6 | | Roberto Segala,
Rainer Gawlick,
Jørgen F. Søgaard-Andersen,
Nancy A. Lynch:
Liveness in Timed and Untimed Systems.
Inf. Comput. 141(2): 119-171 (1998) |
1994 |
5 | | Rainer Gawlick,
Roberto Segala,
Jørgen F. Søgaard-Andersen,
Nancy A. Lynch:
Liveness in Timed and Untimed Systems.
ICALP 1994: 166-177 |
1993 |
4 | | Jørgen F. Søgaard-Andersen,
Stephen J. Garland,
John V. Guttag,
Nancy A. Lynch,
Anna Pogosyants:
Computer-Assisted Simulation Proofs.
CAV 1993: 305-319 |
3 | | Butler W. Lampson,
Nancy A. Lynch,
Jørgen F. Søgaard-Andersen:
Correctness of At-Most-Once Message Delivery Protocols.
FORTE 1993: 385-400 |
1992 |
2 | | Butler W. Lampson,
Nancy A. Lynch,
Jørgen F. Søgaard-Andersen:
At-Most-Once Message Delivery. A Case Study in Algorithm Verification.
CONCUR 1992: 317-324 |
1991 |
1 | | William R. Bevier,
Jørgen F. Søgaard-Andersen:
Mechanically Checked Proofs of Kernel Specification.
CAV 1991: 70-82 |