Skip to main content
  • Conference proceedings
  • © 1994

CONCUR '94: Concurrency Theory

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

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

Conference series link(s): CONCUR: International Conference on Concurrency Theory

Conference proceedings info: CONCUR 1994.

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (37 papers)

  1. Front Matter

    Pages I-IX
  2. Geometry of Interaction (Abstract)

    • Jean-Yves Girard
    Pages 1-1
  3. On the Decidability of Non-Interleaving Process Equivalences

    • Astrid Kiehn, Matthew Hennessy
    Pages 18-33
  4. Regularity of BPA-Systems is Decidable

    • Sjouke Mauw, Hans Mulder
    Pages 34-47
  5. Model-Based Verification Methods and Tools (Abstract)

    • J. C. Fernandez, J. Sifakis, R. de Simone
    Pages 64-64
  6. Verification of Nonregular Temporal Properties for Context-Free Processes

    • Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
    Pages 81-97
  7. Pushdown Processes: Parallel Composition and Model Checking

    • Olaf Burkart, Bernhard Steffen
    Pages 98-113
  8. Countable Non-Determinism and Uncountable Limits

    • Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin
    Pages 130-145
  9. SProc Categorically

    • J. R. B. Cockett, D. A. Spooner
    Pages 146-159
  10. From Timed Graphs to Hybrid Automata (Abstract)

    • Costas Courcoubetis
    Pages 160-160
  11. The Observational Power of Clocks

    • Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
    Pages 162-177
  12. A Dynamic Approach to Timed Behaviour

    • Jeremy Gunawardena
    Pages 178-193
  13. Algebras of Processes of Timed Petri Nets

    • Józef Winkowski
    Pages 194-209
  14. Operational Semantics for the Petri Box Calculus

    • Maciej Koutny, Javier Esparza, Eike Best
    Pages 210-225

Other Volumes

  1. CONCUR ’94: Concurrency Theory

About this book

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.

Editors and Affiliations

  • Department of Computer Systems, Uppsala University, Uppsala, Sweden

    Bengt Jonsson

  • Swedish Institute of Computer Science, Kista, Sweden

    Joachim Parrow

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access