Journal: Science of Computer Programming

Volume 76, Issue 8

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