Get 40% off select print & eBooks in Engineering & Materials or 50% off eBooks in Medicine & Psychology!

Lecture Notes in Computer Science

Real-Time: Theory in Practice

REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings

Editors: Bakker, J.W. de, Huizing, C., Roever, W.P. de, Rozenberg, G. (Eds.)

Free Preview

Buy this book

eBook $139.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47218-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $179.00
price for USA in USD
  • ISBN 978-3-540-55564-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

In the past decade, the formal theory of specification, verfication and development of real-time programs has grown from work of a few specialized groups to a real "bandwagon". Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the directions of ongoing research. The volume gives a representative picture of what is going on in the field worldwide, presented by eminent, active researchers. The material in the volume was prepared by the authors after the workshop took place and reflects the results of the workshop discussions.

Table of contents (29 chapters)

Table of contents (29 chapters)
  • An old-fashioned recipe for real time

    Pages 1-27

    Abadi, Martín (et al.)

  • Verifying automata specifications of probabilistic real-time systems

    Pages 28-44

    Alur, Rajeev (et al.)

  • The theory of timed automata

    Pages 45-73

    Alur, Rajeev (et al.)

  • Logics and models of real time: A survey

    Pages 74-106

    Alur, Rajeev (et al.)

  • The state operator in real time process algebra

    Pages 107-123

    Baeten, J. C. M. (et al.)

Buy this book

eBook $139.00
price for USA in USD (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-47218-6
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $179.00
price for USA in USD
  • ISBN 978-3-540-55564-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Real-Time: Theory in Practice
Book Subtitle
REX Workshop, Mook, The Netherlands, June 3-7, 1991. Proceedings
Editors
  • J.W.de Bakker
  • C. Huizing
  • W.P.de Roever
  • G. Rozenberg
Series Title
Lecture Notes in Computer Science
Series Volume
600
Copyright
1992
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-47218-6
DOI
10.1007/BFb0031984
Softcover ISBN
978-3-540-55564-3
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 723
Topics