Jørgen F. Søgaard-Andersen

According to our database, Jørgen F. Søgaard-Andersen authored at least 6 papers between 1991 and 1998.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1998

Liveness in Timed and Untimed Systems.

Roberto Segala, Rainer Gawlick, Jørgen F. Søgaard-Andersen, Nancy A. Lynch

Inf. Comput., 1998

1993

Correctness of At-Most-Once Message Delivery Protocols.

Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

Computer-Assisted Simulation Proofs.

Jørgen F. Søgaard-Andersen, Stephen J. Garland, John V. Guttag, Nancy A. Lynch, Anna Pogosyants

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

At-Most-Once Message Delivery. A Case Study in Algorithm Verification.

Butler W. Lampson, Nancy A. Lynch, Jørgen F. Søgaard-Andersen

Proceedings of the CONCUR '92, 1992

1991

A systematic kernel development.

Jørgen F. Søgaard-Andersen, Camilla Østerberg Rump, Hans Henrik Løvengreen

Proceedings of the conference on Software for citical systems, 1991

Mechanically Checked Proofs of Kernel Specification.

William R. Bevier, Jørgen F. Søgaard-Andersen

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991