17. CONCUR 2006: Bonn, Germany

Christel Baier, Holger Hermanns (Eds.): CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings. Lecture Notes in Computer Science 4137 Springer 2006, ISBN 3-540-37376-4 BibTeX

Invited Contributions

Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee:
Modeling Timed Concurrent Systems. 1-15
Electronic Edition (link) BibTeX
Clemens Grabmayer, Jan Willem Klop, Bas Luttik:
Some Remarks on Definability of Process Graphs. 16-36
Electronic Edition (link) BibTeX
Orna Kupferman:
Sanity Checks in Formal Verification. 37-51
Electronic Edition (link) BibTeX

Uwe Nestmann:
Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi. 52-63
Electronic Edition (link) BibTeX
Roberto Segala:
Probability and Nondeterminism in Operational Models of Concurrency. 64-78
Electronic Edition (link) BibTeX

Stefan Leue, Alin Stefanescu, Wei Wei:
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. 79-94
Electronic Edition (link) BibTeX
Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena:
Proving Liveness by Backwards Reachability. 95-109
Electronic Edition (link) BibTeX
Arend Rensink:
Model Checking Quantified Computation Tree Logic. 110-125
Electronic Edition (link) BibTeX

Rob J. van Glabbeek, Marc Voorhoeve:
Liveness, Fairness and Impossible Futures. 126-141
Electronic Edition (link) BibTeX
Flavio Corradini, Maria Rita Di Berardini, Walter Vogler:
Checking a Mutex Algorithm in a Process Algebra with Fairness. 142-157
Electronic Edition (link) BibTeX
Yoshinao Isobe, Markus Roggenbach:
A Complete Axiomatic Semantics for the CSP Stable-Failures Model. 158-172
Electronic Edition (link) BibTeX
Maciej Koutny, Marta Pietkiewicz-Koutny:
Transition Systems of Elementary Net Systems with Localities. 173-187
Electronic Edition (link) BibTeX

Henri Hansen, Antti Valmari:
Operational Determinism and Fast Algorithms. 188-202
Electronic Edition (link) BibTeX
Viraj Kumar, P. Madhusudan, Mahesh Viswanathan:
Minimization, Learning, and Conformance Testing of Boolean Programs. 203-217
Electronic Edition (link) BibTeX
Tachio Terauchi, Alex Aiken:
A Capability Calculus for Concurrency and Determinism. 218-232
Electronic Edition (link) BibTeX

Naoki Kobayashi:
A New Type System for Deadlock-Free Processes. 233-247
Electronic Edition (link) BibTeX
Lars Birkedal, Søren Debois, Thomas T. Hildebrandt:
Sortings for Reactive Systems. 248-262
Electronic Edition (link) BibTeX
Avik Chaudhuri:
Dynamic Access Control in a Concurrent Object Calculus. 263-278
Electronic Edition (link) BibTeX

Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse:
A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification. 327-342
Electronic Edition (link) BibTeX
Eugene W. Stark, Rance Cleaveland, Scott A. Smolka:
Probabilistic I/O Automata: Theories of Two Equivalences. 343-357
Electronic Edition (link) BibTeX
Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera:
Reachability in Recursive Markov Decision Processes. 358-374
Electronic Edition (link) BibTeX
Krishnendu Chatterjee, Thomas A. Henzinger:
Strategy Improvement for Stochastic Rabin and Streett Games. 375-389
Electronic Edition (link) BibTeX

Damien Pous:
Weak Bisimulation Up to Elaboration. 390-405
Electronic Edition (link) BibTeX
Ichiro Hasuo:
Generic Forward and Backward Simulations. 406-420
Electronic Edition (link) BibTeX
Taolue Chen, Wan Fokkink:
On Finite Alphabets and Infinite Bases III: Simulation. 421-434
Electronic Edition (link) BibTeX

Olga Grinchtein, Bengt Jonsson, Paul Pettersson:
Inference of Event-Recording Automata Using Timed Decision Trees. 435-449
Electronic Edition (link) BibTeX
Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier:
Controller Synthesis for MTL Specifications. 450-464
Electronic Edition (link) BibTeX
Ramzi Ben Salah, Marius Bozga, Oded Maler:
On Interleaving in Timed Automata. 465-476
Electronic Edition (link) BibTeX

David Kitchin, William R. Cook, Jayadev Misra:
A Language for Task Orchestration and Its Semantic Properties. 477-491
Electronic Edition (link) BibTeX
Orna Kupferman, Sarai Sheinvald-Faragy:
Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words. 492-508
Electronic Edition (link) BibTeX
Colin Stirling:
Second-Order Simple Grammars. 509-523
Electronic Edition (link) BibTeX