Skip to main content
SpringerLink
Log in
Book cover

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. Model-Checking and HMSC

    1. Netcharts: Bridging the Gap between HMSCs and Executable Specifications

      • Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan
      Pages 296-310

    2. High-Level Message Sequence Charts and Projections

      • Blaise Genest, Loïc Hélouët, Anca Muscholl
      Pages 311-326

  2. Security

    1. Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus

      • P. Mateus, J. Mitchell, A. Scedrov
      Pages 327-349

    2. Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions

      • Michael Backes
      Pages 350-365

    3. Contract Signing, Optimism, and Advantage

      • Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov
      Pages 366-382

  3. Mobility

    1. Full Abstraction for HOPLA

      • Mikkel Nygaard, Glynn Winskel
      Pages 383-398

    2. Modeling Consensus in a Process Calculus

      • Uwe Nestmann, Rachele Fuzzati, Massimo Merro
      Pages 399-414

    3. Linear Forwarders

      • Philippa Gardner, Cosimo Laneve, Lucian Wischik
      Pages 415-430

  4. Compositional Methods and Real Time

    1. Abstract Patterns of Compositional Reasoning

      • Nina Amla, E. Allen Emerson, Kedar Namjoshi, Richard Trefler
      Pages 431-445

    2. Relating Fairness and Timing in Process Algebras

      • F. Corradini, M. R. Di Berardini, W. Vogler
      Pages 446-460

    3. A Compositional Semantic Theory for Synchronous Component-Based Design

      • Barry Norton, Gerald Lüttgen, Michael Mendler
      Pages 461-476

  5. Probabilistic Models

    1. Conditional Expectation and the Approximation of Labelled Markov Processes

      • Vincent Danos, Josée Desharnais, Prakash Panangaden
      Pages 477-491

    2. Comparative Branching-Time Semantics for Markov Chains

      • Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf
      Pages 492-507

    3. Quantitative Relations and Approximate Process Equivalences

      • Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
      Pages 508-522

  6. Back Matter

    Download chapter PDF
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