3. PSTV 1983: Rüschlikon, Switzerland

Protocol Theory and Analyses

Specification and Formal Models

Theory and Applications of Petri Nets

Validation and Verification

Protocol Performance

Protocol Design and Implementation

Integrated Systems

Protocol Testing