10. PSTV 1990:
Ottawa, Ontario, Canada
Luigi Logrippo, Robert L. Probert, Hasan Ural (Eds.):
Protocol Specification, Testing and Verification X, Proceedings of the IFIP WG6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990.
North-Holland 1990, ISBN 0-444-88810-1 
Specification and Design
- Paul King, Graeme Smith:
Formalisation of behavioural and structural concepts for communication systems.
3-18
- Frank A. Stomp:
A derivation of a broadcasting protocol using sequentially phased reasoning.
19-32
- Richard L. Tenney:
Modelling flow control in Estelle.
33-44
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
- Raymond E. Miller:
Protocol verification: the first ten years, the next ten years; some personal observations.
199-225
Verification and Design
Algebraic Techniques
Logic Specification
Invited Paper:
Protocol Specification:
The first ten years, the next ten years
- Chris A. Vissers:
FDTs for open distributed systems, a retrospective and a prospective view.
341-362
Lotos and Verification
Epilogue
Last update Sat May 25 18:57:59 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
