Skip to main content
SpringerLink
Log in

Formal Description Techniques VII

  • Book
  • © 1995

Overview

Editors:
  1. Dieter Hogrefe

    1. Department of Computer Science and Applied Mathematics, University of Berne, Berne, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Stefan Leue

    1. Department of Computer Science and Applied Mathematics, University of Berne, Berne, Switzerland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (42 chapters)

  1. Front Matter

    Pages i-xiv
    Download chapter PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Proving Performance Properties (even Probabilistic Ones)

      • Nancy Lynch
      Pages 3-20

  3. New Techniques

    1. Front Matter

      Pages 21-21
      Download chapter 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
      Download chapter 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
      Download chapter 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
      Download chapter 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
Back to top

Keywords

About this book

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

Reviews

Although this is a multi-author production, the subject matter is so concise that the usual pitfall of superficially covering too many different issues has been prevented ... A very technical but concise reference book - Network

Editors and Affiliations

  • Department of Computer Science and Applied Mathematics, University of Berne, Berne, Switzerland

    Dieter Hogrefe, Stefan Leue

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation