Advertisement

CONCUR ’94: Concurrency Theory

5th International Conference, Uppsala, Sweden, August 22–25, 1994, Proceedings

  • Bengt Jonsson
  • Joachim Parrow
Conference proceedings CONCUR 1994

Part of the Lecture Notes in Computer Science book series (LNCS, volume 836)

Table of contents

  1. Front Matter
    Pages I-IX
  2. Jean-Yves Girard
    Pages 1-1
  3. Astrid Kiehn, Matthew Hennessy
    Pages 18-33
  4. Sjouke Mauw, Hans Mulder
    Pages 34-47
  5. J. C. Fernandez, J. Sifakis, R. de Simone
    Pages 64-64
  6. Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
    Pages 81-97
  7. Olaf Burkart, Bernhard Steffen
    Pages 98-113
  8. Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin
    Pages 130-145
  9. J. R. B. Cockett, D. A. Spooner
    Pages 146-159
  10. Costas Courcoubetis
    Pages 160-160
  11. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
    Pages 162-177
  12. Jeremy Gunawardena
    Pages 178-193
  13. Józef Winkowski
    Pages 194-209
  14. Maciej Koutny, Javier Esparza, Eike Best
    Pages 210-225
  15. Arend Rensink, Heike Wehrheim
    Pages 226-241
  16. Paris C. Kanellakis, Dimitrios Michailidis, Alex A. Shvartsman
    Pages 242-266
  17. Qiwen Xu, Antonio Cau, Pierre Collette
    Pages 267-282
  18. Jens Ulrik Skakkebwk
    Pages 283-298
  19. Michele Boreale, Rocco De Nicola
    Pages 299-314
  20. David Walker
    Pages 315-330
  21. Nils Klarlund
    Pages 351-366
  22. R. J. R. Back, J. von Wright
    Pages 367-384
  23. Mogens Nielsen, Christian Clausen
    Pages 385-400
  24. Marc Bezem, Jan Friso Groote
    Pages 401-416
  25. Rance Cleaveland, James Riely
    Pages 417-432
  26. J. C. M. Baeten, J. A. Bergstra
    Pages 465-480
  27. Roberto Segala, Nancy Lynch
    Pages 481-496
  28. Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka
    Pages 497-512
  29. Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark
    Pages 513-528
  30. Back Matter
    Pages 529-534

About these proceedings

Introduction

This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR '94, held at Uppsala, Sweden in August 1994.
In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR '93, the proceedings of which are published as LNCS 715.

Keywords

Automaten Nebenläufigkeit Parallelität Programmiersemantik Programmverifikation automata concurrency parallelism program verification programming semantics semantics

Editors and affiliations

  • Bengt Jonsson
    • 1
  • Joachim Parrow
    • 2
  1. 1.Department of Computer SystemsUppsala UniversityUppsalaSweden
  2. 2.Swedish Institute of Computer ScienceKistaSweden

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-48654-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58329-5
  • Online ISBN 978-3-540-48654-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace