Books

1. 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.

2. 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.

3. 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.

4. 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.

5. 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.

6. 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.

7. 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.