Advertisement

Table of contents

  1. Front Matter
  2. Pages 1-4
  3. P. S. Thiagarajan
    Pages 26-54
  4. Richard L. Schwartz, P. Michael Melliar-Smith
    Pages 55-65
  5. Pages 97-102
  6. V. Pratt
    Pages 110-114
  7. R. Milner
    Pages 121-127
  8. Egidio Astesiano, Gianna Reggio
    Pages 135-156
  9. J. Y. Cotronis, P. E. Lauer
    Pages 184-198
  10. J.Cl. Fernandez, J.Ph. Schwartz, J. Sifakis
    Pages 199-210
  11. J. R. Kennaway, M. R. Sleep
    Pages 222-230
  12. Ron Koymans, Willem P. de Roever
    Pages 231-251
  13. P. E. Lauer
    Pages 271-292
  14. George J. Milne
    Pages 293-313
  15. R. Milner
    Pages 314-317
  16. Carroll Morgan, C. A. R. Hoare
    Pages 345-353
  17. Ben Moszkowski
    Pages 359-364
  18. Amir Pnueli
    Pages 365-383
  19. A. W. Roscoe
    Pages 384-388
  20. M. W. Shields
    Pages 389-391
  21. Pages 392-396
  22. Back Matter

About these proceedings

Keywords

Analysis Systems concurrency logic real-time semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-16047-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1985
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-16047-2
  • Online ISBN 978-3-540-39731-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Electronics
IT & Software
Telecommunications