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

maintained by Schloss Dagstuhl LZI at University of Trier