Table of contents

  1. Front Matter
  2. Samson Abramsky
    Pages 1-17
  3. Andrew M. Pitts, Joshua R. X. Ross
    Pages 18-33
  4. Rance Cleaveland, Gerald Lüttgen, V. Natarajan
    Pages 34-49
  5. Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
    Pages 66-83
  6. Thomas T. Hildebrandt, Vladimiro Sassone
    Pages 84-97
  7. John Power
    Pages 115-130
  8. Anna Philippou, David Walker
    Pages 131-146
  9. Roberto M. Amadio, Ilaria Castellani, Davide Sangiorgi
    Pages 147-162
  10. Uwe Nestmann, Benjamin C. Pierce
    Pages 179-194
  11. Faron Moller
    Pages 195-216
  12. Olaf Burkart, Didier Caucal, Bernhard Steffen
    Pages 247-262
  13. Bent Thomsen, Lone Leth, Tsung-Min Kuo
    Pages 278-298
  14. Roberto Segala
    Pages 299-314

About these proceedings


This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996.
The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems.


Automat automata complexity concurrency constraint programming petri net programming verification

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61604-7
  • Online ISBN 978-3-540-70625-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors