| 2003 | A Compositional Semantic Theory for Synchronous Component-based Design. Barry Norton, Gerald Lüttgen, Michael Mendler |
| 2003 | A Process-Algebraic Language for Probabilistic I/O Automata. Eugene W. Stark, Rance Cleaveland, Scott A. Smolka |
| 2003 | Abstract Patterns of Compositional Reasoning. Nina Amla, E. Allen Emerson, Kedar S. Namjoshi, Richard J. Trefler |
| 2003 | An Extension of Pushdown System and Its Model Checking Method. Naoya Nitta, Hiroyuki Seki |
| 2003 | Bundle Event Structures and CCSP. Rob J. van Glabbeek, Frits W. Vaandrager |
| 2003 | CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings Roberto M. Amadio, Denis Lugiez |
| 2003 | Comparative Branching-Time Semantics. Christel Baier, Holger Hermanns, Joost-Pieter Katoen, Verena Wolf |
| 2003 | Composition of Cryptographic Protocols in a Probabilistic Polynomial-Time Process Calculus. Paulo Mateus, John C. Mitchell, Andre Scedrov |
| 2003 | Compositionality for Probabilistic Automata. Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager |
| 2003 | Compression of Partially Ordered Strings. Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, Mihalis Yannakakis |
| 2003 | Conditional Expectation and the Approximation of Labelled Markov Processes. Vincent Danos, Josée Desharnais, Prakash Panangaden |
| 2003 | Contract Signing, Optimism, and Advantage. Rohit Chadha, John C. Mitchell, Andre Scedrov, Vitaly Shmatikov |
| 2003 | Deciding Bisimilarity between BPA and BPP Processes. Petr Jancar, Antonín Kucera, Faron Moller |
| 2003 | Distributed Monitoring of Concurrent and Asynchronous Systems. Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard |
| 2003 | Equivalence Checking of Non-Flat Systems Is EXPTIME-hard. Zdenek Sawa |
| 2003 | Full Abstraction for HOPLA. Mikkel Nygaard, Glynn Winskel |
| 2003 | High-Level Message Sequence Charts and Projections. Blaise Genest, Loïc Hélouët, Anca Muscholl |
| 2003 | Input/Output Automata: Basic, Timed, Hybrid, Probabilistic, Dynamic, ... Nancy A. Lynch |
| 2003 | Linear Forwarders. Philippa Gardner, Cosimo Laneve, Lucian Wischik |
| 2003 | Model Checking a Path. Nicolas Markey, Philippe Schnoebelen |
| 2003 | Modeling Consensus in a Process Calculus. Uwe Nestmann, Rachele Fuzzati, Massimo Merro |
| 2003 | Multi-Valued Model Checking via Classical Model Checking. Arie Gurfinkel, Marsha Chechik |
| 2003 | Netcharts: Bridging the gap between HMSCs and executable specifications. Madhavan Mukund, K. Narayan Kumar, P. S. Thiagarajan |
| 2003 | Playing Games with Boxes and Diamonds. Rajeev Alur, Salvatore La Torre, P. Madhusudan |
| 2003 | Priority Rewrite Systems for OSOS Process Languages. Irek Ulidowski |
| 2003 | Quantitative Relations and Approximate Process Equivalences. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky |
| 2003 | Quantitative Verification and Control via the Mu-Calculus. Luca de Alfaro |
| 2003 | Relating Fairness and Timing in Process Algebras. Flavio Corradini, Maria Rita Di Berardini, Walter Vogler |
| 2003 | Satisfiability and Model Checking for MSO-definable Temporal Logics are in PSPACE. Paul Gastin, Dietrich Kuske |
| 2003 | Syntactic Formats for Free. Bartek Klin, Pawel Sobocinski |
| 2003 | Synthesis of Distributed Algorithms Using Asynchronous Automata. Alin Stefanescu, Javier Esparza, Anca Muscholl |
| 2003 | The Element of Surprise in Timed Games. Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga |
| 2003 | Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions. Michael Backes |
| 2003 | Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. Ahmed Bouajjani, Peter Habermehl, Tomás Vojnar |