Advertisement

Table of contents

  1. Front Matter
  2. Stephen D. Brookes
    Pages 1-34
  3. J. A. Bergstra, J. W. Klop, J. V. Tucker
    Pages 76-95
  4. Ben Moszkowski
    Pages 111-130
  5. Christian Lengauer, Chua-Huang Huang
    Pages 131-150
  6. Glynn Winskel
    Pages 246-267
  7. R. Janicki, P. E. Lauer, R. Devillers
    Pages 268-280
  8. S. D. Brookes, A. W. Roscoe
    Pages 281-305
  9. A. W. Roscoe
    Pages 306-329
  10. Carl Hewitt, Tom Reinhardt, Gul Agha, Giuseppe Attardi
    Pages 330-359
  11. Philippe Darondeau
    Pages 458-466
  12. William Clinger, Charles Halpern
    Pages 467-478
  13. Robert M. Keller, Prakash Panangaden
    Pages 479-496
  14. Prakash Panangaden
    Pages 497-511
  15. Robert E. Strom, Shaula Yemini
    Pages 512-523

About these proceedings

Keywords

Hardware calculus distributed systems logic programming programming language semantics

Bibliographic information

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