- 2007
- Luca Aceto, Anna Ingólfsdóttir:
The Saga of the Axiomatization of Parallel Composition. CONCUR 2007: 2-16 - S. Akshay, Madhavan Mukund, K. Narayan Kumar:
Checking Coverage for Infinite Collections of Timed Scenarios. CONCUR 2007: 181-196 - Luca de Alfaro, Pritam Roy:
Solving Games Via Three-Valued Abstraction Refinement. CONCUR 2007: 74-89 - Benjamin Aminof, Aniello Murano, Moshe Y. Vardi:
Pushdown Module Checking with Imperfect Information. CONCUR 2007: 460-475 - Shoham Ben-David, Dana Fisman
, Sitvanit Ruah:
Temporal Antecedent Failure: Refining Vacuity. CONCUR 2007: 492-506 - Filippo Bonchi, Ugo Montanari:
Coalgebraic Models for Reactive Systems. CONCUR 2007: 364-379 - Gérard Boudol:
Fair Cooperative Multithreading. CONCUR 2007: 272-286 - Laura Bozzelli:
Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages. CONCUR 2007: 476-491 - Tomás Brázdil, Vojtech Forejt:
Strategy Synthesis for Markov Decision Processes and Branching-Time Logics. CONCUR 2007: 428-444 - Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby:
Timed Concurrent Game Structures. CONCUR 2007: 445-459 - Rohit Chadha, Mahesh Viswanathan:
Decidability Results for Well-Structured Transition Systems with Auxiliary Storage. CONCUR 2007: 136-150 - Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman:
Strategy Logic. CONCUR 2007: 59-73 - Konstantinos Chatzikokolakis, Catuscia Palamidessi:
Making Random Choices Invisible to the Scheduler. CONCUR 2007: 42-58 - Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse:
Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. CONCUR 2007: 120-135 - Silvia Crafa, Daniele Varacca, Nobuko Yoshida:
Compositional Event Structure Semantics for the Internal pi -Calculus. CONCUR 2007: 317-332 - Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine:
Rule-Based Modelling of Cellular Signalling. CONCUR 2007: 17-41 - Thomas Ehrhard, Olivier Laurent:
Interpreting a Finitary Pi-calculus in Differential Interaction Nets. CONCUR 2007: 333-348 - Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang:
Causal Message Sequence Charts. CONCUR 2007: 166-180 - Davide Grohmann, Marino Miculan:
Reactive Systems over Directed Bigraphs. CONCUR 2007: 380-394 - Samuel Hym:
Mobility Control Via Passports. CONCUR 2007: 349-363 - Peter Lammich, Markus Müller-Olm:
Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures. CONCUR 2007: 287-302 - Cosimo Laneve, Luca Padovani:
The Must Preorder Revisited. CONCUR 2007: 212-225 - Martin Lange:
Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness. CONCUR 2007: 90-104 - Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
On Modal Refinement and Consistency. CONCUR 2007: 105-119 - Paul-André Melliès, Samuel Mimram:
Asynchronous Games: Innocence Without Alternation. CONCUR 2007: 395-411 - Michael Mendler, Gerald Lüttgen:
Is Observational Congruence Axiomatisable in Equational Horn Logic? CONCUR 2007: 197-211 - Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson:
Topology-Dependent Abstractions of Broadcast Networks. CONCUR 2007: 226-240 - Martin R. Neuhäußer, Joost-Pieter Katoen:
Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. CONCUR 2007: 412-427 - Luigi Santocanale:
A Nice Labelling for Tree-Like Event Structures of Degree 3. CONCUR 2007: 151-165 - Fred B. Schneider:
Mapping the Security Landscape: A Role for Language Techniques. CONCUR 2007: 1
