Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 1995

Formal Description Techniques VII

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)

Sections

Buy it now

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

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

Table of contents (42 chapters)

  1. Front Matter

    Pages i-xiv
    PDF

  2. Invited Talk

    1. Front Matter

      Pages 1-1
      PDF

  3. New Techniques

    1. Front Matter

      Pages 21-21
      PDF

    3. A Service Request Description Language

      • Claudia Popien, Bernd Meyer
      Pages 37-52

  4. Applications

    1. Front Matter

      Pages 53-53
      PDF

    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. FDTs go Commercial

    1. Front Matter

      Pages 117-117
      PDF

    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

    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

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.
Back to top

Keywords

Back to top

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
Back to top

Editors and Affiliations

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

    Dieter Hogrefe, Stefan Leue

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation