Nancy Lynch's Slides from the DARPA Active Nets and PI Networking Meetings, March 5-7, Baltimore, Maryland.

Specifying and Using a Virtually Synchronous Group Communication Service

Mathematical Modelling/Specification/Verification/Performance Analysis/Fault-Tolerance Analysis for Network Services