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
  • Miquel Bertran
  • Teodor Rus
Conference proceedings ARTS 1997

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

Table of contents

  1. Front Matter
  2. Anthony Bonner
    Pages 1-14
  3. Nikolaj S. Bjørner, Zohar Manna, Henny B. Sipma, Tomás E. Uribe
    Pages 22-43
  4. Manfred Broy
    Pages 44-63
  5. Sérgio Campos, Edmund Clarke
    Pages 64-78
  6. Antonio Cau, Hussein Zedan
    Pages 79-94
  7. Teodor Rus, Eric van Wyk
    Pages 95-110
  8. Peter Scholz, Dieter Nazareth
    Pages 126-140
  9. Pedro R. D'Argenio
    Pages 141-155
  10. Konrad Feyerabend, Bernhard Josko
    Pages 156-168
  11. Arnaud Février, Elie Najm, Jean -Bernard Stefani
    Pages 216-232
  12. Ralph Back, Martin Büchi, Emil Sekerinski
    Pages 248-262
  13. Miquel Bertran, Felipe Alvarez-Cuevas, Albert Duran
    Pages 263-279

Other volumes

  1. 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
  2. 6th International Conference, AMAST'97 Sydney, Australia, December13–17, 1997 Proceedings

About these proceedings

Introduction

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.

Keywords

Formale Spezifikation Formale Verifikation Verteilte Systeme concurrent systems distributed systems formal method formal specification formal verification real-time real-time systems

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-63010-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63010-4
  • Online ISBN 978-3-540-69058-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace