Advertisement

Formal Description Techniques VII

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

  • Dieter Hogrefe
  • Stefan Leue

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Invited Talk

    1. Front Matter
      Pages 1-1
  3. New Techniques

    1. Front Matter
      Pages 21-21
    2. Claudia Popien, Bernd Meyer
      Pages 37-52
  4. Applications

    1. Front Matter
      Pages 53-53
    2. O. González, V. G. García, M. Riesco, E. Vázquez
      Pages 71-86
    3. Bairong Zhang, Alistair Munro, Michael Barton
      Pages 87-99
  5. FDTs go Commercial

    1. Front Matter
      Pages 117-117
    2. J. C. Yelmo, F. J. Carrasco, C. Sánchez, J. J. Gilt, C. Ramos, M. I. Felipet
      Pages 135-150
    3. Willem Hengeveld, Peter van der Toorn, Geert-Jan Houben
      Pages 151-162
  6. Verification

  7. Verification and Real-Time

    1. Front Matter
      Pages 225-225
    2. C. Daws, A. Olivero, S. Yovine
      Pages 227-242
    3. Wang Yi, Paul Pettersson, Mats Daniels
      Pages 243-258
    4. Victor Luchangco, Ekrem Söylemez, Stephen Garland, Nancy Lynch
      Pages 259-273
    5. Jean-Charles Grégoire
      Pages 280-282
    6. K. J. Turner, A. McClenaghan
      Pages 283-285
    7. Leslie Lamport
      Pages 289-289
  8. Semantics

  9. Testing and Performance

    1. Front Matter
      Pages 397-397
    2. Mingyu Yao, Alexandre Petrenko, Gregor v. Bochmann
      Pages 399-414
    3. J. Hillstonat, H. Hermanns, U. Herzog, V. Mertsiotakis, M. Rettelbach
      Pages 449-451
    4. Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri
      Pages 455-457
  10. Refinement

    1. Front Matter
      Pages 459-459
    2. R. Sekar, Y.-J. Lin, C. R. Ramakrishnan
      Pages 461-476
    3. Bhed Bahadur Bista, Zixue Cheng, Atsushi Togashi, Norio Shiratori
      Pages 477-492

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