Table of contents

  1. Front Matter
  2. Maxime Crochemore
    Pages 26-36
  3. Simona Ronchi Della Rocca
    Pages 37-51
  4. F. Bellegarde, P. Lescanne
    Pages 69-80
  5. G. Marongiu, S. Tulipani
    Pages 111-122
  6. Rocco De Nicola, Matthew Hennessy
    Pages 138-152
  7. Egidio Astesiano, Gianna Reggio
    Pages 169-201
  8. Francesco Parisi-Presicce
    Pages 217-231
  9. G. Gambosi, J. Nešetřil, M. Talamo
    Pages 232-240
  10. J. -J. Ch. Meyer, E. P. de Vink
    Pages 241-255
  11. M. C. Browne, E. M. Clarke, O. Grümberg
    Pages 256-270
  12. Robin Milner
    Pages 271-275

About these proceedings

Keywords

algorithms complexity concurrency development logic programming proof theory semantics software

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-17660-8
  • Copyright Information Springer-Verlag 1987
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-17660-2
  • Online ISBN 978-3-540-47746-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace