Advertisement

Table of contents

  1. Front Matter
  2. J. Staunstrup
    Pages 1-4
  3. Jørgen Staunstrup
    Pages 25-30
  4. Joseph A. Goguen
    Pages 31-46
  5. J. Steensgaard-Madsen
    Pages 47-62
  6. J. W. Hughes, M. S. Powell
    Pages 63-77
  7. H. Ehrig, H. -J. Kreowski
    Pages 78-83
  8. Leif Sandegaard Nielsen
    Pages 84-87
  9. J. R. Abrial, I. H. Sørensen
    Pages 88-95
  10. R. M. Gallimore, D. Coleman
    Pages 96-113
  11. Joseph A. Goguen
    Pages 114-117
  12. Leif Sandegaard Nielsen
    Pages 118-122
  13. Ib Holm Sørensen
    Pages 123-136
  14. D. Coleman, R. M. Gallimore
    Pages 137-180
  15. R. M. Gallimore, D. Coleman
    Pages 181-214
  16. Flaviu Cristian
    Pages 215-254
  17. J. W. Hughes, M. S. Powell
    Pages 255-267
  18. H. A. Klaeren
    Pages 282-293
  19. J. Steensgaard-Madsen
    Pages 294-321
  20. Hartmut Ehrig, Hans-Jörg Kreowski, James Thatcher, Eric Wagner, Jesse Wright
    Pages 322-369
  21. lb Hoim Sørensen
    Pages 381-401
  22. Deepak Kapur, David R. Musser, Alexander A. Stepanov
    Pages 402-414
  23. Leif Sandegaard Nielsen
    Pages 415-422
  24. Pages 425-426

About these proceedings

Keywords

EDV Programm (EDV) concurrency formal specification language

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-11490-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 1982
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-11490-1
  • Online ISBN 978-3-540-39176-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace