Skip to main content
SpringerLink
Log in
Book cover

CONCUR 2005 - Concurrency Theory

16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Martín Abadi

    1. University of California, Santa Cruz

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Luca Alfaro

    1. University of California, Santa Cruz, USA

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CONCUR 2005.

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

  1. Front Matter

    Download chapter PDF

  3. Contributed Papers

    1. Games Other People Play

      • Christos H. Papadimitriou
      Pages 5-5

    2. Type-Directed Concurrency

      • Deepak Garg, Frank Pfenning
      Pages 6-20

    3. Multiport Interaction Nets and Concurrency

      • Damiano Mazza
      Pages 21-35

    4. Model Checking for π-Calculus Using Proof Search

      • Alwen Tiu
      Pages 36-50

    5. A Game Semantics of the Asynchronous π-Calculus

      • Jim Laird
      Pages 51-65

    6. Efficient On-the-Fly Algorithms for the Analysis of Timed Games

      • Franck Cassez, Alexandre David, Emmanuel Fleury, Kim G. Larsen, Didier Lime
      Pages 66-80

    7. Modal Logics for Timed Control

      • Patricia Bouyer, Franck Cassez, François Laroussinie
      Pages 81-94

    8. Timed Shuffle Expressions

      • Cătălin Dima
      Pages 95-109

    9. A New Modality for Almost Everywhere Properties in Timed Automata

      • Houda Bel Mokadem, Béatrice Bérard, Patricia Bouyer, François Laroussinie
      Pages 110-124

    10. The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation

      • Pedro R. D’Argenio, Biniam Gebremichael
      Pages 125-140

    11. A Behavioural Pseudometric for Metric Labelled Transition Systems

      • Franck van Breugel
      Pages 141-155

    12. On Probabilistic Program Equivalence and Refinement

      • Andrzej S. Murawski, Joël Ouaknine
      Pages 156-170

    13. Probabilistic Anonymity

      • Mohit Bhargava, Catuscia Palamidessi
      Pages 171-185

    14. Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus

      • Andrew D. Gordon, Alan Jeffrey
      Pages 186-201

    15. Timed Spi-Calculus with Types for Secrecy and Authenticity

      • Christian Haack, Alan Jeffrey
      Pages 202-216

    16. Selecting Theories and Recursive Protocols

      • Tomasz Truderung
      Pages 217-232
Back to top

Other volumes

  1. CONCUR 2005 – Concurrency Theory

Keywords

About this book

This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of the CONCUR series of conferences is to bring together researchers,developers, and students in order to advance the theory of concurrency and to promote its applications. This year’s conference was in San Francisco, California, from August 23 to August 26. We received 100 submissions in response to a call for papers. Each subm- sionwasassignedto at leastthreemembers ofthe ProgramCommittee; in many cases, reviews were solicited from outside experts. The ProgramCommittee d- cussed the submissions electronically, judging them on their perceived imp- tance, originality, clarity, and appropriateness to the expected audience. The Program Committee selected 38 papers for presentation. Because of the format of the conference and the high number of submissions, many good papers could not be included. Although submissions werereadand evaluated, the papers that appear in this volume may di?er in form and contents from the corresponding submissions. It is expected that many of the papers will be further revised and submitted to refereed archival journals for publication.

Editors and Affiliations

  • University of California, Santa Cruz

    Martín Abadi

  • University of California, Santa Cruz, USA

    Luca Alfaro

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation