| 1 | -- | 29 | Dominic Wist, Ralf Wollowski, Mark Schäfer, Walter Vogler. Avoiding Irreducible CSC Conflicts by Internal Communication |
| 31 | -- | 52 | Navid Toosizadeh, Safwat G. Zaky. Application of Concurrency in the Asynchronous Design of Write-after-read Operations |
| 53 | -- | 72 | Shufan Yang, Stephen B. Furber, Yebin Shi, Luis A. Plana. A Token-Managed Admission Control System for QoS Provision on a Best-Effort GALS Interconnect |
| 73 | -- | 102 | Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro. Dynamic Error Handling in Service Oriented Applications |
| 103 | -- | 128 | Sun Meng, Farhad Arbab. QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata |
| 129 | -- | 155 | Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang. Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains |
| 157 | -- | 186 | Jasen Markovski, Erik P. de Vink. Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra |
| 187 | -- | 217 | Robin Bergenthum, Jörg Desel, Sebastian Mauser, Robert Lorenz. Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages |
| 219 | -- | 244 | Agnes Madalinski, Eric Fabre. Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings |