Advertisement

Table of contents

  1. Front Matter
  2. Marco Bellia, Pierpaolo Degano, Giorgio Levi, Enrico Dameri, Maurizio Martelli
    Pages 1-14
  3. Tzilla Elrad, Nissim Francez
    Pages 78-90
  4. Agneta Eriksson, Anna-Lena Johansson
    Pages 105-115
  5. Rob Gerth, Willem P. de Roever, Marly Roncken
    Pages 132-163
  6. Jaoek Leszczylowski, Martin Wirsing
    Pages 257-282
  7. A. Laut, H. Partsch
    Pages 283-304
  8. Alberto Pettorossi, Andrzej Skowron
    Pages 305-322
  9. J. P. Queille, J. Sifakis
    Pages 337-351
  10. Miklós Szőts, Sándor Csizmazia
    Pages 368-380

About these proceedings

Keywords

algorithm algorithms concurrency logic parallelism program synthesis program transformation programming semantics theorem proving verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-11494-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1982
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-11494-9
  • Online ISBN 978-3-540-39184-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site