Skip to main content
SpringerLink
Log in

CONCUR '94: Concurrency Theory

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

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Bengt Jonsson

    1. Department of Computer Systems, Uppsala University, Uppsala, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Joachim Parrow

    1. Swedish Institute of Computer Science, Kista, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: CONCUR 1994.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (37 papers)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Geometry of Interaction (Abstract)

    • Jean-Yves Girard
    Pages 1-1

  3. A Compositional Semantics for Statecharts using Labeled Transition Systems

    • Andrew C. Uselton, Scott A. Smolka
    Pages 2-17

  4. On the Decidability of Non-Interleaving Process Equivalences

    • Astrid Kiehn, Matthew Hennessy
    Pages 18-33

  5. Regularity of BPA-Systems is Decidable

    • Sjouke Mauw, Hans Mulder
    Pages 34-47

  6. A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes

    • Yoram Hirshfeld, Faron Moller
    Pages 48-63

  7. Model-Based Verification Methods and Tools (Abstract)

    • J. C. Fernandez, J. Sifakis, R. de Simone
    Pages 64-64

  8. New Results on the Analysis of Concurrent Systems with an Indefinite Number of Processes

    • Mahesh Girkar, Robert Moll
    Pages 65-80

  9. Verification of Nonregular Temporal Properties for Context-Free Processes

    • Ahmed Bouajjani, Rachid Echahed, Riadh Robbana
    Pages 81-97

  10. Pushdown Processes: Parallel Composition and Model Checking

    • Olaf Burkart, Bernhard Steffen
    Pages 98-113

  11. Local Model Checking for Parallel Compositions of Context-Free Processes

    • Hardi Hungar
    Pages 114-128

  12. The Logical Structure of Concurrent Constraint Programming Languages (Abstract)

    • Prakash Panangaden
    Pages 129-129

  13. Countable Non-Determinism and Uncountable Limits

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

  14. SProc Categorically

    • J. R. B. Cockett, D. A. Spooner
    Pages 146-159

  15. From Timed Graphs to Hybrid Automata (Abstract)

    • Costas Courcoubetis
    Pages 160-160

  16. Hierarchical Models of Synchronous Circuits (Abstract)

    • David Dill
    Pages 161-161

  17. The Observational Power of Clocks

    • Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger
    Pages 162-177

  18. A Dynamic Approach to Timed Behaviour

    • Jeremy Gunawardena
    Pages 178-193

  19. Algebras of Processes of Timed Petri Nets

    • Józef Winkowski
    Pages 194-209

  20. Operational Semantics for the Petri Box Calculus

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

Other volumes

  1. CONCUR ’94: Concurrency Theory

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation