default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th CONCUR 2008: Toronto, Canada
- Franck van Breugel, Marsha Chechik:
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
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, Philippe 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
