Table of contents

  1. Front Matter
  2. Martin Abadi, Zohar Manna
    Pages 1-15
  3. Val Breazu-Tannen, Albert R. Meyer
    Pages 23-40
  4. R. L. Constable, N. P. Mendler
    Pages 61-78
  5. Pages 78-78
  6. E. Allen Emerson
    Pages 79-88
  7. Nissim Francez, Orna Grumberg, Shmuel Katz, Amir Pnueli
    Pages 89-105
  8. Sam Kamin
    Pages 143-152
  9. R. Koymans, R. K. Shyamasundar, W. P. de Roever, R. Gerth, S. Arun-Kumar
    Pages 167-189
  10. Orna Lichtenstein, Amir Pnueli, Lenore Zuck
    Pages 196-218
  11. Albert R. Meyer, Mitchell Wand
    Pages 219-224
  12. John C. Mitchell, Albert R. Meyer
    Pages 225-236
  13. Van Nguyen, Alan Demers, David Gries, Susan Owicki
    Pages 237-254

About these proceedings

Keywords

Computer Logic Programs automata distributed computing lambda calculus modeling programming programming language real-time semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-15648-8
  • Copyright Information Springer-Verlag 1985
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-15648-2
  • Online ISBN 978-3-540-39527-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book