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)