10. PSTV 1990: Ottawa, Ontario, Canada

@proceedings{DBLP:conf/pstv/1990,
  editor    = {Luigi Logrippo and
               Robert L. Probert and
               Hasan Ural},
  title     = {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},
  booktitle = {PSTV},
  publisher = {North-Holland},
  year      = {1990},
  isbn      = {0-444-88810-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Specification and Design

• Paul King, Graeme Smith: Formalisation of behavioural and structural concepts for communication systems. 3-18 BibTeX
• Frank A. Stomp: A derivation of a broadcasting protocol using sequentially phased reasoning. 19-32 BibTeX
• Richard L. Tenney: Modelling flow control in Estelle. 33-44 BibTeX

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

• Deepinder P. Sidhu: The first ten years, the next ten years. 47-68 BibTeX

Testing

• Jan K. Pachl: A notation for specifying test selection criteria. 71-84 BibTeX
• Mon-Song Chen, Yanghee Choi, Aaron Kershenbaum: Approaches utilizing segment overlap to minimize test sequences. 85-98 BibTeX
• Srinivas Eswara, Tom Berriman, Philip VanHoutte, Behçet Sarikaya: Towards execution of TTCN test cases. 99-112 BibTeX

Testing and Implementation

• Alistair Cockburn, Wayne Citrin, Rainer Hauser, Jürg von Känel: An environment for interactive design of communications architectures. 115-127 BibTeX
• N. P. Alfano, B. Kanungo: Development of an international standard for conformance testing X.25 DTEs January 1988 - May 1989. 129-140 BibTeX
• Murat Bilgic, Behçet Sarikaya: An ASN.1 encoder/decoder and its performance. 141-154 BibTeX

Implementation and Specification

• Peter van Eijk, Harro Kremer, Marten van Sinderen: On the use of specification styles for automated protocol implementation from LOTOS to C. 157-168 BibTeX
• Shingo Nomura, Toru Hasegawa, Takashi Takizuka: A LOTOS compiler and process synchronization manager. 169-182 BibTeX
• Haruhisa Ichikawa, Kenjiroh Yamanaka, June Kato: Incremental specification in LOTOS. 183-196 BibTeX

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 BibTeX

Verification and Design

• Rom Langerak: Decomposition of functionality: a correctness-preserving LOTOS transformation. 229-242 BibTeX
• Karen Rudie, W. Murray Wonham: Supervisory control of communicating processes. 243-257 BibTeX

Algebraic Techniques

• Jan Friso Groote: Specification and verification of real time systems in ACP. 261-274 BibTeX
• Fredrik Orava, Joachim Parrow: Algebraic descriptions of mobile networks: An example. 275-291 BibTeX

Logic Specification

• Reinhard Gotzhein: Specifying communication services with temporal logic. 295-309 BibTeX
• Einar Snekkenes: Authentication in Open Systems. 311-324 BibTeX
• Roger Duke, Gordon A. Rose, Anthony Lee: Object-oriented protocol specification. 325-338 BibTeX

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 BibTeX

Lotos and Verification

• Alessandro Fantechi, Stefania Gnesi, Gioia Ristori: Compositional logic semantics and LOTOS. 365-378 BibTeX
• Hubert Garavel, Joseph Sifakis: Compilation and verification of LOTOS specifications. 379-394 BibTeX
• Tommaso Bolognesi, Ferdinando Lucidi, Sebastiano Trigila: From timed Petri nets to timed LOTOS. 395-408 BibTeX

Epilogue

• Colin H. West: The first ten years, the next ten years. 411-414 BibTeX