Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989

Author(s)

• IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification
• Brinksma, Ed
• Scollo, Giuseppe
• IFIP Working Group 6.1
• Vissers, Chris A.

Bibliographic Information

Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989

edited by Ed Brinksma, Giuseppe Scollo, Chris A. Vissers

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1990

Note

Includes index

Description and Table of Contents

Description

Researchers and practitioners concerned with the application of formal methods to the design, description, analysis, implementation and testing of open systems contributed to this book. It is the ninth in a successful series of annual volumes.

Table of Contents

Invited presentations: Design and Verification in Real-Time Distributed Computing: An Introduction to Compositional Methods (W.P. de Roever, J.J.M. Hooman). Open Distributed Processing (J.J. van Griethuysen). Contributed Sections: System Specification. Process Algebra Applications. Conformance Testing. Specification Language Transformation. Transition System Applications. Tool Environments. Verification by State Space Exploration. Temporal Logic Applications. Contributors: G. von Bochmann, P. Boehm, S. Chan, R.I. Chan, W.Y.L. Chan, S.T. Chanson, M.S. Chen, R. Cleaveland, A.T. Dahbura, W.B. Davis, M. Deslauriers, M. Diaz, T.S. Dillon, D.D. Dimitrijevic, P. van Eijk, M. Faci, P. Gburzynski, N. Gotz, J. Gustafsson, I.J. Hayes, T. Higashino, G.J. Holzmann, M.R. Ito, C. Jard, J.M. Jezequel, H. Kaminaga, A. Kershenbaum, T. Kimoto, R.P. Kurshan, R. Lai, R. Langerak, B.P. Lee, L. Logrippo, F. Lombardi, M. Mori, M. Mowbray, G. Neufeld, K. Ninomiya, S. Noguchi, F. Orava, N.J. Parakh, K.P. Parker, J. Parrow, M. Phalippou, B. Pradin-Chezalviel, G.A. Rose, H. Rudin, P. Rudnicki, H.L. See, Y.-N. Shen, N. Shiratori, B.R. Smith, B. Solomon, B. Steffen, B. Stepien, T. Stroup, K. Takahashi, K. Taniguchi, S.T. Vuong, C.D. Wezeman, D. Wolz, M.C. Yuang, H.X. Zeng

by "Nielsen BookData"

Details

• NCID: BA07879202
• ISBN:
  • 0444883436
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; Tokyo,New York, N.Y., U.S.A.
• Pages/Volumes: xvi, 401 p.
• Size: 23 cm
• Classification:
  • LCC : TK5105.5
  • DC19 : 004.6/2
• Subject Headings:
  • LCSH : Computer network protocols -- Congresses