| 2007 | A Marriage of Rely/Guarantee and Separation Logic. Viktor Vafeiadis, Matthew J. Parkinson |
| 2007 | A Nice Labelling for Tree-Like Event Structures of Degree 3. Luigi Santocanale |
| 2007 | Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages. Laura Bozzelli |
| 2007 | Asynchronous Games: Innocence Without Alternation. Paul-André Melliès, Samuel Mimram |
| 2007 | Automatic Derivation of Compositional Rules in Automated Compositional Reasoning. Bow-Yaw Wang |
| 2007 | Bisimulation and Logical Preservation for Continuous-Time Markov Decision Processes. Martin R. Neuhäußer, Joost-Pieter Katoen |
| 2007 | CONCUR 2007 - Concurrency Theory, 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings Luís Caires, Vasco Thudichum Vasconcelos |
| 2007 | Causal Message Sequence Charts. Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang |
| 2007 | Checking Coverage for Infinite Collections of Timed Scenarios. S. Akshay, Madhavan Mukund, K. Narayan Kumar |
| 2007 | Coalgebraic Models for Reactive Systems. Filippo Bonchi, Ugo Montanari |
| 2007 | Compositional Event Structure Semantics for the Internal Silvia Crafa, Daniele Varacca, Nobuko Yoshida |
| 2007 | Decidability Results for Well-Structured Transition Systems with Auxiliary Storage. Rohit Chadha, Mahesh Viswanathan |
| 2007 | Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems. Taolue Chen, Bas Ploeger, Jaco van de Pol, Tim A. C. Willemse |
| 2007 | Fair Cooperative Multithreading. Gérard Boudol |
| 2007 | Interpreting a Finitary Pi-calculus in Differential Interaction Nets. Thomas Ehrhard, Olivier Laurent |
| 2007 | Is Observational Congruence Axiomatisable in Equational Horn Logic? Michael Mendler, Gerald Lüttgen |
| 2007 | Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness. Martin Lange |
| 2007 | Making Random Choices Invisible to the Scheduler. Konstantinos Chatzikokolakis, Catuscia Palamidessi |
| 2007 | Mapping the Security Landscape: A Role for Language Techniques. Fred B. Schneider |
| 2007 | Mobility Control Via Passports. Samuel Hym |
| 2007 | On Modal Refinement and Consistency. Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
| 2007 | On the Expressive Power of Global and Local Priority in Process Calculi. Cristian Versari, Nadia Busi, Roberto Gorrieri |
| 2007 | Precise Fixpoint-Based Analysis of Programs with Thread-Creation and Procedures. Peter Lammich, Markus Müller-Olm |
| 2007 | Pushdown Module Checking with Imperfect Information. Benjamin Aminof, Aniello Murano, Moshe Y. Vardi |
| 2007 | Reactive Systems over Directed Bigraphs. Davide Grohmann, Marino Miculan |
| 2007 | Rule-Based Modelling of Cellular Signalling. Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine |
| 2007 | Solving Games Via Three-Valued Abstraction Refinement. Luca de Alfaro, Pritam Roy |
| 2007 | Strategy Logic. Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
| 2007 | Strategy Synthesis for Markov Decision Processes and Branching-Time Logics. Tomás Brázdil, Vojtech Forejt |
| 2007 | Temporal Antecedent Failure: Refining Vacuity. Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
| 2007 | The Cosimo Laneve, Luca Padovani |
| 2007 | The Saga of the Axiomatization of Parallel Composition. Luca Aceto, Anna Ingólfsdóttir |
| 2007 | Timed Concurrent Game Structures. Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby |
| 2007 | Topology-Dependent Abstractions of Broadcast Networks. Sebastian Nanz, Flemming Nielson, Hanne Riis Nielson |