Skip to main content
SpringerLink
Log in

CONCUR 2003 - Concurrency Theory

14th International Conference, Marseille, France, September 3-5, 2003, Proceedings

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Roberto Amadio

    1. Université Paris 7, PPS, Case 7014, Paris Cedex 13, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Denis Lugiez

    1. LIF, CNRS, Aix-Marseille Université, France

    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 2761)

Included in the following conference series:

Conference proceedings info: CONCUR 2003.

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

  1. Front Matter

    Download chapter PDF

  2. Partial Orders and Asynchronous Systems

    1. Distributed Monitoring of Concurrent and Asynchronous Systems

      • Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard
      Pages 1-26

    2. Synthesis of Distributed Algorithms Using Asynchronous Automata

      • Alin Ştefănescu, Javier Esparza, Anca Muscholl
      Pages 27-41

    3. Compression of Partially Ordered Strings

      • Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, Mihalis Yannakakis
      Pages 42-56

  3. Process Algebra

    1. Bundle Event Structures and CCSP

      • Rob van Glabbeek, Frits Vaandrager
      Pages 57-71

    2. Syntactic Formats for Free

      • Bartek Klin, Paweł Sobociński
      Pages 72-86

    3. Priority Rewrite Systems for OSOS Process Languages

      • Irek Ulidowski
      Pages 87-102

  4. Games

    1. Quantitative Verification and Control via the Mu-Calculus

      • Luca de Alfaro
      Pages 103-127

    2. Playing Games with Boxes and Diamonds

      • Rajeev Alur, Salvatore La Torre, P. Madhusudan
      Pages 128-143

    3. The Element of Surprise in Timed Games

      • Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
      Pages 144-158

  5. Infinite Systems

    1. Deciding Bisimilarity between BPA and BPP Processes

      • Petr Jančar, Antonín Kučera, Faron Moller
      Pages 159-173

    2. Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management

      • Ahmed Bouajjani, Peter Habermehl, Tomáš Vojnar
      Pages 174-190

  6. Probabilistic Automata

    1. Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic,...

      • Nancy Lynch
      Pages 191-192

    2. A Process-Algebraic Language for Probabilistic I/O Automata

      • Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
      Pages 193-207

    3. Compositionality for Probabilistic Automata

      • Nancy Lynch, Roberto Segala, Frits Vaandrager
      Pages 208-221

  7. Model-Checking

    1. Satisfiability and Model Checking for MSO-Definable Temporal Logics Are in PSPACE

      • Paul Gastin, Dietrich Kuske
      Pages 222-236

    2. Equivalence Checking of Non-flat Systems Is EXPTIME-Hard

      • Zdeněk Sawa
      Pages 237-250

    3. Model Checking a Path

      • N. Markey, P. Schnoebelen
      Pages 251-265

  8. Model-Checking and HMSC

    1. Multi-valued Model Checking via Classical Model Checking

      • Arie Gurfinkel, Marsha Chechik
      Pages 266-280

    2. An Extension of Pushdown System and Its Model Checking Method

      • Naoya Nitta, Hiroyuki Seki
      Pages 281-295
Back to top

Other volumes

  1. CONCUR 2003 - Concurrency Theory

Keywords

Editors and Affiliations

  • Université Paris 7, PPS, Case 7014, Paris Cedex 13, France

    Roberto Amadio

  • LIF, CNRS, Aix-Marseille Université, France

    Denis Lugiez

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation