Skip to main content
SpringerLink
Log in
Book cover

CONCUR 2013 -- Concurrency Theory

24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Pedro R. D’Argenio

    1. Facultad de Matemáticas, Astronomía y Física, Universidad Nacional de Córdoba – CONICET, Córdoba, Argentina

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hernán Melgratti

    1. Departamento de Computación,, Universidad de Buenos Aires - Conicet, Ciudad Autónoma de Buenos Aires, Argentina

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

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

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

Included in the following conference series:

Conference proceedings info: CONCUR 2013.

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

  1. Front Matter

    Download chapter PDF

  2. Session 1: Invited Talks

    1. Reasoning with MAD Distributed Systems

      • Lorenzo Alvisi, Edmund L. Wong
      Pages 1-4

    2. The Power of Well-Structured Systems

      • Sylvain Schmitz, Philippe Schnoebelen
      Pages 5-24

    3. Impact of Resource Sharing on Performance and Performance Prediction: A Survey

      • Andreas Abel, Florian Benz, Johannes Doerfert, Barbara Dörr, Sebastian Hahn, Florian Haupenthal et al.
      Pages 25-43

    4. Concurrency Meets Probability: Theory and Practice

      • Joost-Pieter Katoen
      Pages 44-45

  3. Session 2: Process Semantics and Modal Transition Systems

    1. Modular Semantics for Transition System Specifications with Negative Premises

      • Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi
      Pages 46-60

    2. Mutually Testing Processes

      • Giovanni Bernardi, Matthew Hennessy
      Pages 61-75

    3. Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory

      • Nikola Beneš, Benoît Delahaye, Uli Fahrenberg, Jan Křetínský, Axel Legay
      Pages 76-90

    4. Merging Partial Behaviour Models with Different Vocabularies

      • Shoham Ben-David, Marsha Chechik, Sebastian Uchitel
      Pages 91-105

  4. Session 3: VAS and Pushdown Systems

    1. Solving Parity Games on Integer Vectors

      • Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier, Jeremy Sproston
      Pages 106-120

    2. Well-Structured Pushdown Systems

      • Xiaojuan Cai, Mizuhito Ogawa
      Pages 121-136

    3. A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness

      • Jérôme Leroux, M. Praveen, Grégoire Sutre
      Pages 137-151

    4. Expand, Enlarge, and Check for Branching Vector Addition Systems

      • Rupak Majumdar, Zilong Wang
      Pages 152-166

  5. Session 4: Pi Calculus and Interaction Nets

    1. Symbolic Bisimulation for a Higher-Order Distributed Language with Passivation

      • Vasileios Koutavas, Matthew Hennessy
      Pages 167-181

    2. A Theory of Name Boundedness

      • Reiner Hüchting, Rupak Majumdar, Roland Meyer
      Pages 182-196

    3. A Hierarchy of Expressiveness in Concurrent Interaction Nets

      • Andrei Dorman, Damiano Mazza
      Pages 197-211

  6. Session 5: Linearizability and Verification of Concurrent Programs

    1. An Epistemic Perspective on Consistency of Concurrent Computations

      • Klaus von Gleissenthall, Andrey Rybalchenko
      Pages 212-226

    2. Characterizing Progress Properties of Concurrent Objects via Contextual Refinements

      • Hongjin Liang, Jan Hoffmann, Xinyu Feng, Zhong Shao
      Pages 227-241

    3. Aspect-Oriented Linearizability Proofs

      • Thomas A. Henzinger, Ali Sezgin, Viktor Vafeiadis
      Pages 242-256

    4. Causality-Based Verification of Multi-threaded Programs

      • Andrey Kupriyanov, Bernd Finkbeiner
      Pages 257-272
Back to top

Other volumes

  1. CONCUR 2013 – Concurrency Theory

Keywords

About this book

This book constitutes the thoroughly refereed proceedings of the 24th International Conference on Concurrency Theory, CONCUR 2013, held in Buenos Aires, Argentina, August 27-30, 2013.
The 34 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 115 submissions. The papers are organized in topics such as process semantics and modal transition systems, VAS and pushdown systems, Pi calculus and interaction nets, linearizability and verification of concurrent programs, verification of infinite models, model measure and reversibility, stochastic models, message-based interaction processes, principles of automatic verification, and games and control synthesis.

Editors and Affiliations

  • Facultad de Matemáticas, Astronomía y Física, Universidad Nacional de Córdoba – CONICET, Córdoba, Argentina

    Pedro R. D’Argenio

  • Departamento de Computación,, Universidad de Buenos Aires - Conicet, Ciudad Autónoma de Buenos Aires, Argentina

    Hernán Melgratti

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation