Protocol specification, testing, and verification, VIII : proceedings of the IFIP WG 6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7-10, 1988

Author(s)

• IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification
• Aggarwal, Sudhir
• Sabnani, Krishan
• IFIP Working Group 6.1

Bibliographic Information

Protocol specification, testing, and verification, VIII : proceedings of the IFIP WG 6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7-10, 1988

edited by Sudhir Aggarwal, Krishan Sabnani

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

Note

Includes index

Description and Table of Contents

Description

The results collected in this volume are from researchers and practitioners concerned with the theory and application of formal techniques to protocols. The main subject areas covered by the papers are: - formal models for computer communication systems - formal languages for the specification and verification of protocols - testing approaches and techniques for computer communication systems - verification and validation of communication protocols - automated implementation techniques for protocols - software environments for the development and analysis of protocols.

Table of Contents

Keynote Address: Protocol Engineering: A Critical Assessment (H. Rudin). Invited Papers: Architecture and Specification Style in Formal Description of Distributed Systems (C.A. Vissers, G. Scollo, M. van Sinderen). A Relational Notation for State Transition Systems (S.S. Lam, A.U. Shanker). Sessions: Specification. Testing and Simulation. Verification. Implementation. Contributors: A.V. Aho, P.D. Amer, S. Banerjee, T.P. Blumer, G. v. Bochmann, M. Bretschneider, E. Brinksma, R.I. Chan, W.Y.L. Chan, A. Chung, J.P. Courtiat, A.T. Dahbura, X.F. Du, M. Duque Anton, R. Duke, A. Fernandez, B. Fink, A. Finkel, R.A. Fleming, Q. Gao, R. Gotzhein, R. Guillemot, M. Haj-Hussein, I. Hayes, C.S. He, W.P.C. Ho, M.W.A. Hornbeek, C. Jard, G. Karjoth, K. Katsuyama, P. King, J.G. Kuhl, D. Lee, F.J. Lin, M.T. Liu, L. Logrippo, G.M. Lundy, B. Meandzija, C. Miguel, R.E. Miller, S.P. Miller, T. Mizuno, J. Munemori, T. Nakakawaji, S. Noguchi, K. Okumura, F. Orava, J.M. Pageot, J. Parrow, A. Pridor, R.L. Probert, J. Quemada, G. Rose, B. Sarikaya, F. Sato, J. Schmidt, N. Shiratori, D.P. Sidhu, K. Takahashi, H. Ural, M.U. Uyar, J. Vaucher, L. Vidaller, S.T. Vuong, H.X. Zeng.

by "Nielsen BookData"

• NCID: BA06702977
• ISBN:
  • 0444705422
• LCCN: 88647142
• 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: xii, 419 p.
• Size: 23 cm
• Classification:
  • LCC : TK5105.5
  • DC19 : 004.6/2
• Subject Headings:
  • LCSH : Computer network protocols -- Congresses