- F.S. de Boer, M.M. Bonsangue, and J.V. Guillen-Scholten.

Component Coordination: From Objects to Mobile Channels.

*In**In Mathematical Frameworks for Component Software - Models for Analysis and Synthesis*, He Jifeng and Zhiming Liu (eds.), World Scientific, 2006. - F.S. de Boer, W. de Vries, J.-J. Ch. Meyer, R. M.
van Eijk , W. van der Hoek.

Process algebra and constraint programming for modeling interactions in MAS.

*In Applicable Algebra in Engineering, Communication and Computing*, pages 113 - 150, Vol. 16, Nr. 2-3, Springer-Verlag GmbH, 2005. - W.-P.de Roever, F.S. de Boer et. al.

State-Based Proof Theory of Concurrency: from Noncompositional to Compositional Methods.

In*Cambridge University Press Tracts in Theoretical Computer Science*, 2001. - K.R. Apt, F.S. de Boer and E-R. Olderog.

Proving total correctness of parallel programs.

In W.H.J. Feijen, A.J.M. van Gasteren, D. Gries, and J. Misra (editors),*Beauty is our Business*, A Birthday Salute to Edsger W. Dijkstra. 1990. - F.S. de Boer, J.N. Kok, C. Palamidessi and J.J.M.M. Rutten.

From failure to success: comparing a denotational and a declarative semantics for Horn clause logic.

In J.W. de Bakker and J.J.M.M. Rutten (editors),*Ten years of concurrency semantics: selected papers of the Amsterdam Concurrency Group*, World Scientific Publishing, 1993. - F.S. de Boer, J.N. Kok, C. Palamidessi and J.J.M.M. Rutten.

A paradigm for asynchronous communication and its application to concurrent constraint programming.

In K.R. Apt, J.W. de Bakker and J.J.M.M. Rutten (editors),*Logic Programming Languages: Constraints, Functions, and Objects*, pages 82-114. Series in Logic Programming, ISBN 0-262-01134-4, The MIT Press, 1993. - F.S de Boer and C. Palamidessi.

From concurrent logic programming to concurrent constraint programming.

In G. Levi (editor),*Advances in logic programming theory*. Oxford University Press, 1993.