Skip to main content
  • Conference proceedings
  • © 2004

CONCUR 2004 -- Concurrency Theory

15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings

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

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

Conference proceedings info: CONCUR 2004.

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 (33 papers)

  1. Accepted Papers

    1. Parameterised Boolean Equation Systems

      • Jan Friso Groote, Tim Willemse
      Pages 308-324
    2. An Extensional Spatial Logic for Mobile Processes

      • Daniel Hirschkoff
      Pages 325-339
    3. Timed vs. Time-Triggered Automata

      • Pavel Krčál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi
      Pages 340-354
    4. Extended Process Rewrite Systems: Expressiveness and Reachability

      • Mojmír Křetínský, Vojtěch Řehák, Jan Strejček
      Pages 355-370
    5. Model Checking Timed Automata with One or Two Clocks

      • F. Laroussinie, N. Markey, Ph. Schnoebelen
      Pages 387-401
    6. On Flatness for 2-Dimensional Vector Addition Systems with States

      • Jérôme Leroux, Grégoire Sutre
      Pages 402-416
    7. Compiling Pattern Matching in Join-Patterns

      • Qin Ma, Luc Maranget
      Pages 417-431
    8. Model Checking Restricted Sets of Timed Paths

      • Nicolas Markey, Jean-François Raskin
      Pages 432-447
    9. Asynchronous Games 2: The True Concurrency of Innocence

      • Paul-André Melliès
      Pages 448-465
    10. Probabilistic Event Structures and Domains

      • Daniele Varacca, Hagen Völzer, Glynn Winskel
      Pages 481-496
    11. Session Types for Functional Multithreading

      • Vasco Vasconcelos, António Ravara, Simon Gay
      Pages 497-511
    12. A Higher Order Modal Fixed Point Logic

      • Mahesh Viswanathan, Ramesh Viswanathan
      Pages 512-528
  2. Back Matter

Other Volumes

  1. CONCUR 2004 - Concurrency Theory

Editors and Affiliations

  • Department of Computing, Imperial College London, London, UK

    Philippa Gardner

  • Department of Computing, Imperial College, London, UK

    Nobuko Yoshida

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