Volume XXV, Issue 2, 2015 Formations of Monoids, Congruences, and Formal Languages, pages 171-209 Authors: A. Ballester-Bolinches, E. Cosme-Llópez, R. Esteban-Romero, J.J.M.M. Rutten Abstract | References | BibTeX | Full Text (PDF) Probabilistic Thread Algebra, pages 211-243 Authors: J.A. Bergstra, C.A. Middelburg Abstract | References | BibTeX | Full Text (PDF) The Consistency and Complexity of Multiplicative Additive System Virtual, pages 245-316 Authors: R. Horne Abstract | References | BibTeX | Full Text (PDF) Verification and Validation of Formal Data-Centric Business Models, pages 317-355 Authors: T. Umarov Abstract | References | BibTeX | Full Text (PDF)