19. CONCUR 2008: Toronto, Canada

Invited Papers

• Joseph Y. Halpern:
  Beyond Nash Equilibrium: Solution Concepts for the 21st Century. 1
  
• Tevfik Bultan:
  Service Choreography and Orchestration with Conversations. 2-3
  
• Prakash Panangaden:
  Knowledge and Information in Probabilistic Systems. 4
  
• Shaz Qadeer:
  Taming Concurrency: A Program Verification Perspective. 5
  

Contributed Papers

• Martín Abadi, Tim Harris, Katherine F. Moore:
  A Model of Dynamic Separation for Transactional Memory. 6-20
  
• Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh:
  Completeness and Nondeterminism in Model Checking Transactional Memories. 21-35
  
• Rémi Morin:
  Semantics of Deterministic Shared-Memory Systems. 36-51
  
• Rachid Guerraoui, Marko Vukolic:
  A Scalable and Oblivious Atomicity Assertion. 52-66
  
• Parosh Aziz Abdulla, Pavel Krcál, Wang Yi:
  R-Automata. 67-81
  
• S. Akshay, Benedikt Bollig, Paul Gastin, Madhavan Mukund, K. Narayan Kumar:
  Distributed Timed Automata with Independently Evolving Clocks. 82-97
  
• Jos C. M. Baeten, Pieter J. L. Cuijpers, P. J. A. van Tilburg:
  A Context-Free Process as a Pushdown Automaton. 98-113
  
• Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira:
  Modeling Computational Security in Long-Lived Systems. 114-130
  
• Luca Padovani:
  Contract-Directed Synthesis of Simple Orchestrators. 131-146
  
• Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann:
  Environment Assumptions for Synthesis. 147-161
  
• Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker:
  Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning. 162-166
  
• Borzoo Bonakdarpour, Sandeep S. Kulkarni:
  SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs. 167-171
  
• Klaus Dräger, Bernd Finkbeiner:
  Subsequence Invariants. 172-186
  
• Simona Orzan, Tim A. C. Willemse:
  Invariants for Parameterised Boolean Equation Systems. 187-202
  
• Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König:
  Unfolding-Based Diagnosis of Systems with an Evolving Topology. 203-217
  
• Lars Birkedal, Søren Debois, Thomas T. Hildebrandt:
  On the Construction of Sorted Reactive Systems. 218-232
  
• Harmen Kastenberg, Arend Rensink:
  Dynamic Partial Order Reduction Using Probe Sets. 233-247
  
• Lijun Zhang:
  A Space-Efficient Probabilistic Simulation Algorithm. 248-263
  
• Rohit Chadha, Mahesh Viswanathan, Ramesh Viswanathan:
  Least Upper Bounds for Probability Measures and Their Applications to Abstractions. 264-278
  
• Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf:
  Abstraction for Stochastic Systems by Erlang's Method of Stages. 279-294
  
• Pepijn Crouzen, Holger Hermanns, Lijun Zhang:
  On the Minimisation of Acyclic Models. 295-309
  
• Philippe Darondeau, Blaise Genest, P. S. Thiagarajan, Shaofa Yang:
  Quasi-Static Scheduling of Communicating Tasks. 310-324
  
• Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje:
  Strategy Construction for Parity Games with Imperfect Information. 325-339
  
• Pierre Chambart, Ph. Schnoebelen:
  Mixing Lossy and Perfect Fifo Channels. 340-355
  
• Mohamed Faouzi Atig, Ahmed Bouajjani, Tayssir Touili:
  On the Reachability Analysis of Acyclic Networks of Pushdown Systems. 356-371
  
• Lucia Acciai, Michele Boreale:
  Spatial and Behavioral Types in the Pi-Calculus. 372-386
  
• Étienne Lozes, Jules Villard:
  A Spatial Equational Logic for the Applied pi-Calculus. 387-401
  
• Marco Carbone, Kohei Honda, Nobuko Yoshida:
  Structured Interactional Exceptions in Session Types. 402-417
  
• Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
  Global Progress in Dynamically Interleaved Multiparty Sessions. 418-433
  
• Petr Jancar, Martin Kot, Zdenek Sawa:
  Normed BPA vs. Normed BPP Revisited. 434-446
  
• Sjoerd Cranen, Mohammad Reza Mousavi, Michel A. Reniers:
  A Rule Format for Associativity. 447-461
  
• Julian Rathke, Pawel Sobocinski:
  Deriving Structural Labelled Transitions for Mobile Ambients. 462-476
  
• Gianluigi Zavattaro, Luca Cardelli:
  Termination Problems in Chemical Kinetics. 477-491
  
• Daniele Gorla:
  Towards a Unified Approach to Encodability and Separation Results for Process Calculi. 492-507
  
• Simon Bliudze, Joseph Sifakis:
  A Notion of Glue Expressiveness for Component-Based Systems. 508-522