Advertisement

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
  14. Zhiming Liu, Mathai Joseph
    Pages 295-309
  15. Stephen Goldsack, Kevin Lano, Eugene Durr
    Pages 310-324
  16. Farn Wang
    Pages 325-339
  17. F. Cuartero Gómez, D. de Frutos Escrig, V. Valero Ruiz
    Pages 340-352
  18. Carlos Gregorio-Rodríguez, Luis Llana-Díaz, Manuel Núñez, Pedro Palao-Gostanza
    Pages 353-367
  19. Luis Fernando Llana Díaz, David de Frutos Escrig
    Pages 368-382
  20. Howard Bowman, John Derrick
    Pages 383-399
  21. Christian Hernalsteen, Arnaud Février
    Pages 400-414
  22. Mariño P., Poza F., Domínguez M., Nogueira J.
    Pages 415-429
  23. Back Matter

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
  • Buy this book on publisher's site