10. PSTV 1990: Ottawa, Ontario, Canada

Specification and Design

Invited Paper: Protocol Testing: The first ten years, the next ten years

Testing

Testing and Implementation

Implementation and Specification

Invited Paper: Protocol Verification: The first ten years, the next ten years

Verification and Design

Algebraic Techniques

Logic Specification

Invited Paper: Protocol Specification: The first ten years, the next ten years

Lotos and Verification

Epilogue

a service of Schloss Dagstuhl - Leibniz Center for Informatics