Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1988

Formal Techniques in Real-Time and Fault-Tolerant Systems

Proceedings of a Symposium, Warwick, UK, September 22-23, 1988

Editors:

  1. M. Joseph
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 331)

Sections

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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 (16 papers)

  1. Front Matter

    PDF

  2. High integrity computing

    • WJ Cullyer
    Pages 1-35

  7. A specification language for reliable real-time systems

    • Hanno Wupper, Jan Vytopil
    Pages 111-127

  8. Timed acceptances: A model of time dependent processes

    • Insup Lee, Amy Zwarico
    Pages 128-130

  9. Responsive sequential processes

    • Neelam Soundararajan, Roger L. Costello
    Pages 131-133

  10. Static analysis of real-time distributed systems

    • Leo YuHsiang Liu, R. K. Shyamasundar
    Pages 134-138

  11. Low level synchronisation problems in digital systems

    • J. A. McDermid, G. Morgan
    Pages 139-141

  12. Reasoning about uncertainty in fault-tolerant distributed systems

    • Michael J. Fischer, Lenore D. Zuck
    Pages 142-158

  13. Paradigms for real-time systems

    • Ron Koymans, Ruurd Kuiper, Erik Zijlstra
    Pages 159-174

  14. Towards a theory of replicated processing

    • Luigi V. Mancini, Giuseppe Pappalardo
    Pages 175-192

  15. Reasoning about atomic objects

    • Maurice P. Herlihy, Jeannette M. Wing
    Pages 193-208

  16. A formal treatment of interference in remote procedure calls

    • Giuseppe Pappalardo, Santosh K. Shrivastava
    Pages 209-227
Back to top

About this book

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

Keywords

Back to top

Bibliographic Information

  • Book Title: Formal Techniques in Real-Time and Fault-Tolerant Systems

  • Book Subtitle: Proceedings of a Symposium, Warwick, UK, September 22-23, 1988

  • Editors: M. Joseph

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-50302-1

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1988

  • Softcover ISBN: 978-3-540-50302-6Published: 14 September 1988

  • eBook ISBN: 978-3-540-45965-1Published: 29 June 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 232

  • Topics: Special Purpose and Application-Based Systems

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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