© 1994

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

About these proceedings


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.


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

Industry Sectors
IT & Software