Protocol Specification, Testing and Verification XV

Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995

  • Piotr Dembiński
  • Marek Średniawa

Table of contents

  1. Front Matter
    Pages i-xi
  2. Specification and Verification: Time-dependent Analysis

    1. Front Matter
      Pages 1-1
    2. R. Gerth, D. Peled, M. Y. Vardi, P. Wolper
      Pages 3-18
    3. Leo Cacciari, Omar Rafiq
      Pages 35-49
    4. Invited Paper

      1. A. Mazurkiewicz
        Pages 53-68
  3. Specification of Concurrent Systems

    1. Front Matter
      Pages 69-69
    2. N. A. Anisimov, M. Koutny
      Pages 71-86
    3. M. W. A. Steen, H. Bowman, J. Derrick
      Pages 87-102
  4. Testing

    1. Front Matter
      Pages 103-103
    2. Andreas Ulrich, Samuel T. Chanson
      Pages 121-136
    3. Q. M. Tan, A. Petrenko, G. V. Bochmann
      Pages 137-152
  5. Specification and Verification: Temporal Approach

  6. Validation and Testing

    1. Front Matter
      Pages 203-203
    2. S. Bradley, W. D. Henderson, D. Kendall, A. P. Robson
      Pages 205-220
    3. Lex Heerink, Ed Brinksma
      Pages 221-236

About this book

Introduction

This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing.

Keywords

communication information information processing model multimedia

Editors and affiliations

  • Piotr Dembiński
    • 1
  • Marek Średniawa
    • 2
  1. 1.Institute of Computer SciencePolish Academy of SciencesWarsawPoland
  2. 2.Institute of TelecommunicationsWarsawPoland

Bibliographic information

  • DOI https://doi.org/10.1007/978-0-387-34892-6
  • Copyright Information Springer-Verlag US 1996
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-5041-2925-1
  • Online ISBN 978-0-387-34892-6
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • About this book