627 | -- | 630 | Axel van Lamsweerde. The humble humorous researcher: A tribute to Michel Sintzoff |
631 | -- | 632 | Carlos Canal, Pascal Poizat, Marjan Sirjani. Preface |
633 | -- | 650 | Peter Y. H. Wong, Jeremy Gibbons. Formalisations and applications of BPMN |
651 | -- | 680 | Sun Meng, Farhad Arbab, Christel Baier. Synthesis of Reo circuits from scenario-based interaction specifications |
681 | -- | 710 | Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab. Channel-based coordination via constraint satisfaction |
711 | -- | 735 | Suzana Andova, Luuk Groenewegen, Erik P. de Vink. Dynamic consistency in process algebra: From Paradigm to ACP |