| 0 | -- | 0 | Jan A. Bergstra. Letter from the editor |
| 1 | -- | 3 | Joseph Barjis, Juan Carlos Augusto, Ulrich Ultes-Nitsche. Towards more adequate EIS |
| 4 | -- | 13 | Volker Gruhn, Ralf Laue. What business process modelers can learn from programmers |
| 14 | -- | 29 | Wing Lok Yeung, Karl R. P. H. Leung, Ji Wang, Wei Dong. Modelling and model checking suspendible business processes via statechart diagrams and CSP |
| 30 | -- | 40 | Kees M. van Hee, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve. LogLogics: A logic for history-dependent business processes |
| 41 | -- | 56 | Kawtar Benghazi Akhlaki, Manuel I. Capel Tuñón, Juan Antonio Holgado Terriza, Luis E. Mendoza Morales. A methodological approach to the formal specification of real-time systems by transformation of UML-RT design models |
| 57 | -- | 69 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino, Pablo Nuñez, Ernesto Pimentel. PiXL: Applying xml standards to support the integration of analysis tools for protocols |