Formal Description Techniques VII

Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques

  • Dieter Hogrefe
  • Stefan Leue
Book

Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT)

Table of contents

  1. Front Matter
    Pages i-xiv
    PDF

  2. Invited Talk

    1. Front Matter
      Pages 1-1
      PDF
    2. Proving Performance Properties (even Probabilistic Ones)
      Nancy Lynch
      Pages 3-20

  3. New Techniques

    1. Front Matter
      Pages 21-21
      PDF
    2. Semantic-Oriented Description Techniques for Network Management Information Modeling
      Deh-Min Wu
      Pages 23-36
    3. A Service Request Description Language
      Claudia Popien, Bernd Meyer
      Pages 37-52

  4. Applications

    1. Front Matter
      Pages 53-53
      PDF
    2. Modelling and Verification of a Multiprocessor Realtime OS Kernel
      Thierry Cattel
      Pages 55-70
    3. Design of operating systems using the F.D.T. ESTELLE
      O. González, V. G. García, M. Riesco, E. Vázquez
      Pages 71-86
    4. The Formalization and Analysis of CCR Protocol and Service
      Bairong Zhang, Alistair Munro, Michael Barton
      Pages 87-99
    5. On the Formal Specification and Verification of Network Routing Algorithms
      Jim Davies, Matt Wallis
      Pages 100-115

  5. FDTs go Commercial

    1. Front Matter
      Pages 117-117
      PDF
    2. Validation of Supplementary Services in the Context of Interoperability
      S. Le Bricquir, A. Lauzanne
      Pages 119-134
    3. FDT based development of an interworking unit between LANs and X.25 networks
      J. C. Yelmo, F. J. Carrasco, C. Sánchez, J. J. Gilt, C. Ramos, M. I. Felipet
      Pages 135-150
    4. Using formal specification and simulation: Practical experience with distributed applications
      Willem Hengeveld, Peter van der Toorn, Geert-Jan Houben
      Pages 151-162

  6. Verification

    1. Front Matter
      Pages 163-163
      PDF
    2. Representation of Process-Gate Nets in LOTOS and Verification of LOTOS Laws: the Boolean Algebra Approach
      Pim Kars
      Pages 165-180
    3. Reachable state space analysis of LOTOS specifications
      A. Kerbrat
      Pages 181-196
    4. An Improvement in Formal Verification
      Gerard J. Holzmann, Doron Peled
      Pages 197-211
    5. A Modal Based Verification for LOTOS (abstract)
      Hacèie Fouchal, Ana R. Cavalli
      Pages 215-217

About this book

Introduction

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.

Keywords

distributed systems material research semantics testing verification

Editors and affiliations

  • Dieter Hogrefe
    • 1
  • Stefan Leue
    • 1
  1. 1.Department of Computer Science and Applied MathematicsUniversity of BerneBerneSwitzerland

Bibliographic information

  • DOI https://doi.org/10.1007/978-0-387-34878-0
  • Copyright Information Springer-Verlag US 1995
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-5041-2881-0
  • Online ISBN 978-0-387-34878-0
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • Buy this book on publisher's site