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