Advertisement

Table of contents

  1. Front Matter
  2. Pages 1-8
  3. R. N. Chanon
    Pages 9-16
  4. T. E. Cheatham Jr., Judy A. Townley
    Pages 33-40
  5. Luigia Aiello, Mario Aiello
    Pages 59-71
  6. P. Henderson, P. Quarendon
    Pages 72-80
  7. Robert E. Noonan, Dale J. Panton
    Pages 81-87
  8. G. Degli Antoni, P. A. Miglioli, M. Ornaghi
    Pages 88-108
  9. Irene Greif, Richard Waldinger
    Pages 109-119
  10. Gianni Aguzzi, Francesca Cesarini, Renzo Pinzani, Giovanni Soda, Renzo Sprugnoli
    Pages 120-129
  11. Aaron Felix Gurski
    Pages 130-140
  12. B. W. Lampson, J. G. Mitchell, E. H. Satterthwaite
    Pages 181-203
  13. Donald A. Alton, John L. Lowther
    Pages 253-265
  14. C. Böhm, M. Dezani-Ciancaglini, S. Ronchi Della Rocca
    Pages 266-279
  15. Ph. Darondeau, S. Guiboud-Ribaud, C. Otrage
    Pages 280-297
  16. Marc Cheminaud, Almanto Scrizzi
    Pages 298-313
  17. A. Kerangueven, F. Kerangueven
    Pages 314-326
  18. Carlo Montangero, Giuliano Pacini, Franco Turini
    Pages 350-361
  19. James H. Morris Jr.
    Pages 377-384
  20. Carl Hewitt, Peter Bishop, Richard Steiger, Irene Greif, Brian Smith, Todd Matson et al.
    Pages 385-407
  21. John C. Reynolds
    Pages 408-425

About these proceedings

Keywords

Processing control patterns programming programming language simulation verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-06859-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 1974
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-06859-4
  • Online ISBN 978-3-540-37819-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering