18. CONCUR 2007:
Lisbon,
Portugal
Luís Caires, Vasco Thudichum Vasconcelos (Eds.):
CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings.
Lecture Notes in Computer Science 4703 Springer 2007, ISBN 978-3-540-74406-1 BibTeX
Invited Lectures
Contributed Papers
- Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Making Random Choices Invisible to the Scheduler.
42-58
Electronic Edition (link) BibTeX
- Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman:
Strategy Logic.
59-73
Electronic Edition (link) BibTeX
- Luca de Alfaro, Pritam Roy:
Solving Games Via Three-Valued Abstraction Refinement.
74-89
Electronic Edition (link) BibTeX
- Martin Lange:
Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness.
90-104
Electronic Edition (link) BibTeX
- Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
On Modal Refinement and Consistency.
105-119
Electronic Edition (link) BibTeX
- Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse:
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems.
120-135
Electronic Edition (link) BibTeX
- Rohit Chadha, Mahesh Viswanathan:
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage.
136-150
Electronic Edition (link) BibTeX
- Luigi Santocanale:
A Nice Labelling for Tree-Like Event Structures of Degree 3.
151-165
Electronic Edition (link) BibTeX
- Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang:
Causal Message Sequence Charts.
166-180
Electronic Edition (link) BibTeX
- S. Akshay, Madhavan Mukund, K. Narayan Kumar:
Checking Coverage for Infinite Collections of Timed Scenarios.
181-196
Electronic Edition (link) BibTeX
- Michael Mendler, Gerald Lüttgen:
Is Observational Congruence Axiomatisable in Equational Horn Logic?
197-211
Electronic Edition (link) BibTeX
- Cosimo Laneve, Luca Padovani:
The Must Preorder Revisited.
212-225
Electronic Edition (link) BibTeX
- Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson:
Topology-Dependent Abstractions of Broadcast Networks.
226-240
Electronic Edition (link) BibTeX
- Cristian Versari, Nadia Busi, Roberto Gorrieri:
On the Expressive Power of Global and Local Priority in Process Calculi.
241-255
Electronic Edition (link) BibTeX
- Viktor Vafeiadis, Matthew J. Parkinson:
A Marriage of Rely/Guarantee and Separation Logic.
256-271
Electronic Edition (link) BibTeX
- Gérard Boudol:
Fair Cooperative Multithreading.
272-286
Electronic Edition (link) BibTeX
- Peter Lammich, Markus Müller-Olm:
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures.
287-302
Electronic Edition (link) BibTeX
- Bow-Yaw Wang:
Automatic Derivation of Compositional Rules in Automated Compositional Reasoning.
303-316
Electronic Edition (link) BibTeX
- Silvia Crafa, Daniele Varacca, Nobuko Yoshida:
Compositional Event Structure Semantics for the Internal pi -Calculus.
317-332
Electronic Edition (link) BibTeX
- Thomas Ehrhard, Olivier Laurent:
Interpreting a Finitary Pi-calculus in Differential Interaction Nets.
333-348
Electronic Edition (link) BibTeX
- Samuel Hym:
Mobility Control Via Passports.
349-363
Electronic Edition (link) BibTeX
- Filippo Bonchi, Ugo Montanari:
Coalgebraic Models for Reactive Systems.
364-379
Electronic Edition (link) BibTeX
- Davide Grohmann, Marino Miculan:
Reactive Systems over Directed Bigraphs.
380-394
Electronic Edition (link) BibTeX
- Paul-André Melliès, Samuel Mimram:
Asynchronous Games: Innocence Without Alternation.
395-411
Electronic Edition (link) BibTeX
- Martin R. Neuhäußer, Joost-Pieter Katoen:
Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes.
412-427
Electronic Edition (link) BibTeX
- Tomás Brázdil, Vojtech Forejt:
Strategy Synthesis for Markov Decision Processes and Branching-Time Logics.
428-444
Electronic Edition (link) BibTeX
- Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby:
Timed Concurrent Game Structures.
445-459
Electronic Edition (link) BibTeX
- Benjamin Aminof, Aniello Murano, Moshe Y. Vardi:
Pushdown Module Checking with Imperfect Information.
460-475
Electronic Edition (link) BibTeX
- Laura Bozzelli:
Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages.
476-491
Electronic Edition (link) BibTeX
- Shoham Ben-David, Dana Fisman, Sitvanit Ruah:
Temporal Antecedent Failure: Refining Vacuity.
492-506
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:03:17 2009
by Michael Ley (ley@uni-trier.de)