Advertisement

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
  15. Marco Bernardo, Roberto Gorrieri
    Pages 315-330
  16. Vineet Gupta, Radha Jagadeesan, Vijay Saraswat
    Pages 373-388
  17. Björn Victor, Joachim Parrow
    Pages 389-405
  18. Cédric Fournet, Georges Gonthier, Jean-Jacques Levy, Luc Maranget, Didier Rémy
    Pages 406-421
  19. A. Corradini
    Pages 438-464
  20. Raymond Devillers
    Pages 465-480
  21. Ahmed Bouajjani, Peter Habermehl
    Pages 481-497
  22. Eike Best, Catuscia Palamidessi
    Pages 498-513
  23. Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi
    Pages 514-529
  24. Thomas A. Henzinger, Peter W. Kopke
    Pages 530-545
  25. Serdar TaŞiran, Rajeev Alur, Robert P. Kurshan, Robert K. Brayton
    Pages 546-562
  26. Doron Peled, Thomas Wilke, Pierre Wolper
    Pages 596-610
  27. Michaela Huhn, Peter Niebert
    Pages 611-626
  28. Paolo Di Blasio, Kathleen Fisher
    Pages 655-670
  29. S. Mauw, M. A. Reniers
    Pages 671-686
  30. Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini
    Pages 687-702
  31. Clemens Fischer, Wil Janssen
    Pages 735-750
  32. Back Matter

About these proceedings

Introduction

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.

Keywords

Automat automata complexity concurrency constraint programming petri net programming verification

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-61604-7
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications