Jørgen F. Søgaard-Andersen

Publication Activity (10 Years)

Years Active: 1991-1998
Publications (10 Years): 0

Publications

Roberto Segala, Rainer Gawlick, Jørgen F. Søgaard-Andersen, Nancy A. Lynch
Liveness in Timed and Untimed Systems. Inf. Comput. 141 (2) (1998)
Rainer Gawlick, Roberto Segala, Jørgen F. Søgaard-Andersen, Nancy A. Lynch
Liveness in Timed and Untimed Systems. ICALP (1994)
Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen
Correctness of At-Most-Once Message Delivery Protocols. FORTE (1993)
Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants
Computer-Assisted Simulation Proofs. CAV (1993)
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)
William R. Bevier, Jørgen F. Søgaard-Andersen
Mechanically Checked Proofs of Kernel Specification. CAV (1991)
Jørgen F. Søgaard-Andersen, Camilla Østerberg Rump, Hans Henrik Løvengreen
A systematic kernel development. SIGSOFT (1991)