Table of contents

  1. Front Matter
  2. WJ Cullyer
    Pages 1-35
  3. Hanno Wupper, Jan Vytopil
    Pages 111-127
  4. Insup Lee, Amy Zwarico
    Pages 128-130
  5. Neelam Soundararajan, Roger L. Costello
    Pages 131-133
  6. Leo YuHsiang Liu, R. K. Shyamasundar
    Pages 134-138
  7. J. A. McDermid, G. Morgan
    Pages 139-141
  8. Michael J. Fischer, Lenore D. Zuck
    Pages 142-158
  9. Ron Koymans, Ruurd Kuiper, Erik Zijlstra
    Pages 159-174
  10. Luigi V. Mancini, Giuseppe Pappalardo
    Pages 175-192
  11. Maurice P. Herlihy, Jeannette M. Wing
    Pages 193-208
  12. Giuseppe Pappalardo, Santosh K. Shrivastava
    Pages 209-227

About these proceedings


This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.


calculus distributed systems logic modeling real-time system

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1988
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-50302-6
  • Online ISBN 978-3-540-45965-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment