Table of contents

  1. Front Matter
  2. Krzysztof R. Apt, Ernst-R├╝diger Olderog
    Pages 1-8
  3. J. Bergstra, A. Chmielinska, J. Tiuryn
    Pages 9-23
  4. Robert Cartwright
    Pages 37-51
  5. Robert L. Constable, Daniel R. Zlatin
    Pages 72-93
  6. J. W. de Bakker, J. W. Klop, J.-J.Ch. Meyer
    Pages 94-112
  7. Willem P. de Roever
    Pages 113-121
  8. Brent Hailpern
    Pages 122-123
  9. D. Harel, A. Pnueli, J. Stavi
    Pages 124-136
  10. Theo M. V. Janssen, Peter van Emde Boas
    Pages 137-149
  11. Dexter Kozen
    Pages 167-176
  12. Leslie Lamport
    Pages 177-196
  13. Leslie Lamport, Susan Owicki
    Pages 197-199
  14. Albert R. Meyer, Jerzy Tiuryn
    Pages 282-299
  15. Grazyna Mirkowska
    Pages 300-310

About these proceedings

Keywords

algorithms concurrency logic program semantics program verification semantics

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0025769
  • Copyright Information Springer-Verlag 1982
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-11212-9
  • Online ISBN 978-3-540-39047-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Aerospace