Lecture Notes in Computer Science

Transformation-Based Reactive Systems Development

4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings

Editors: Bertran, Miquel, Rus, Teodor (Eds.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD
  • ISBN 978-3-540-69058-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-63010-4
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, held in Palma de Mallorca, Spain, in May 1997.
The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.

Table of contents (28 chapters)

Table of contents (28 chapters)
  • What was Llull up to?

    Pages 1-14

    Bonner, Anthony

  • Llull as computer scientist or why Llull was one of us

    Pages 15-21

    Sales, Ton

  • Deductive verification of real-time systems using STeP

    Pages 22-43

    Bjørner, Nikolaj S. (et al.)

  • Refinement of Time

    Pages 44-63

    Broy, Manfred

  • The verus language: Representing time efficiently with BDDs

    Pages 64-78

    Campos, Sérgio (et al.)

Buy this book

eBook $89.00
price for USA in USD
  • ISBN 978-3-540-69058-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-63010-4
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Services for this Book

Bibliographic Information

Bibliographic Information
Book Title
Transformation-Based Reactive Systems Development
Book Subtitle
4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Palma, Mallorca, Spain, May 21 - 23, 1997, Proceedings
Editors
  • Miquel Bertran
  • Teodor Rus
Series Title
Lecture Notes in Computer Science
Series Volume
1231
Copyright
1997
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-69058-0
DOI
10.1007/3-540-63010-4
Softcover ISBN
978-3-540-63010-4
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XI, 429
Topics