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

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 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
  • About this book