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

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 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
  • About this book
Industry Sectors
Electronics
Telecommunications