15. CONCUR 2004: London, UK

Philippa Gardner, Nobuko Yoshida (Eds.): CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings. Lecture Notes in Computer Science 3170 Springer 2004, ISBN 3-540-22940-X BibTeX

@proceedings{DBLP:conf/concur/2004,
  editor    = {Philippa Gardner and
               Nobuko Yoshida},
  title     = {CONCUR 2004 - Concurrency Theory, 15th International Conference,
               London, UK, August 31 - September 3, 2004, Proceedings},
  booktitle = {CONCUR},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3170},
  year      = {2004},
  isbn      = {3-540-22940-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Yichen Xie:
Zing: Exploiting Program Structure for Model Checking Concurrent Software. 1-15
Electronic Edition (link) BibTeX
Stephen D. Brookes:
A Semantics for Concurrent Separation Logic. 16-34
Electronic Edition (link) BibTeX
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Mayank Saksena:
A Survey of Regular Model Checking. 35-48
Electronic Edition (link) BibTeX
Peter W. O'Hearn:
Resources, Concurrency and Local Reasoning. 49-67
Electronic Edition (link) BibTeX

Accepted Papers

Roberto M. Amadio, Silvano Dal-Zilio:
Resource Control for Synchronous Cooperative Threads. 68-82
Electronic Edition (link) BibTeX
Paolo Baldan, Andrea Corradini, Barbara König:
Verifying Finite-State Graph Grammars: An Unfolding-Based Approach. 83-98
Electronic Edition (link) BibTeX
Nicolas Baudru, Rémi Morin:
The Pros and Cons of Netcharts. 99-114
Electronic Edition (link) BibTeX
Martin Berger:
Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi. 115-130
Electronic Edition (link) BibTeX
Mikolaj Bojanczyk, Igor Walukiewicz:
Characterizing EF and EX Tree Logics. 131-145
Electronic Edition (link) BibTeX
Benedikt Bollig, Martin Leucker:
Message-Passing Automata Are Expressively Equivalent to EMSO Logic. 146-160
Electronic Edition (link) BibTeX
Johannes Borgström, Sébastien Briais, Uwe Nestmann:
Symbolic Bisimulation in the Spi Calculus. 161-176
Electronic Edition (link) BibTeX
Liana Bozga, Cristian Ene, Yassine Lakhnech:
A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract). 177-192
Electronic Edition (link) BibTeX
Tomás Brázdil, Antonín Kucera, Oldrich Strazovský:
Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. 193-208
Electronic Edition (link) BibTeX
Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely:
µABC: A Minimal Aspect Calculus. 209-224
Electronic Edition (link) BibTeX
Michele Bugliesi, Dario Colazzo, Silvia Crafa:
Type Based Discretionary Access Control. 225-239
Electronic Edition (link) BibTeX
Luís Caires, Étienne Lozes:
Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. 240-257
Electronic Edition (link) BibTeX
Corina Cîrstea, Dirk Pattinson:
Modular Construction of Modal Logics. 258-275
Electronic Edition (link) BibTeX
Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith:
Verification by Network Decomposition. 276-291
Electronic Edition (link) BibTeX
Vincent Danos, Jean Krivine:
Reversible Communicating Systems. 292-307
Electronic Edition (link) BibTeX
Jan Friso Groote, Tim A. C. Willemse:
Parameterised Boolean Equation Systems (Extended Abstract). 308-324
Electronic Edition (link) BibTeX
Daniel Hirschkoff:
An Extensional Spatial Logic for Mobile Processes. 325-339
Electronic Edition (link) BibTeX
Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi:
Timed vs. Time-Triggered Automata. 340-354
Electronic Edition (link) BibTeX
Mojmír Kretínský, Vojtech Rehák, Jan Strejcek:
Extended Process Rewrite Systems: Expressiveness and Reachability. 355-370
Electronic Edition (link) BibTeX
Antonín Kucera, Ph. Schnoebelen:
A General Approach to Comparing Infinite-State Systems with Their Finite-State Specifications. 371-386
Electronic Edition (link) BibTeX
François Laroussinie, Nicolas Markey, Ph. Schnoebelen:
Model Checking Timed Automata with One or Two Clocks. 387-401
Electronic Edition (link) BibTeX
Jérôme Leroux, Grégoire Sutre:
On Flatness for 2-Dimensional Vector Addition Systems with States. 402-416
Electronic Edition (link) BibTeX
Qin Ma, Luc Maranget:
Compiling Pattern Matching in Join-Patterns. 417-431
Electronic Edition (link) BibTeX
Nicolas Markey, Jean-François Raskin:
Model Checking Restricted Sets of Timed Paths. 432-447
Electronic Edition (link) BibTeX
Paul-André Melliès:
Asynchronous Games 2: The True Concurrency of Innocence. 448-465
Electronic Edition (link) BibTeX
Paulo Tabuada:
Open Maps, Alternating Simulations and Control Synthesis. 466-480
Electronic Edition (link) BibTeX
Daniele Varacca, Hagen Völzer, Glynn Winskel:
Probabilistic Event Structures and Domains. 481-496
Electronic Edition (link) BibTeX
Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay:
Session Types for Functional Multithreading. 497-511
Electronic Edition (link) BibTeX
Mahesh Viswanathan, Ramesh Viswanathan:
A Higher Order Modal Fixed Point Logic. 512-528
Electronic Edition (link) BibTeX