On Instruction Sets for Boolean Registers in Program Algebra, pages 1-26

Authors: J.A. Bergstra, C.A. Middelburg

Abstract | References | BibTeX | Full Text (PDF)

Formal Analysis of Android’s Permission-Based Security Model, pages 27-68

Authors: G. Betarte, J. Campo, C. Luna, A. Romano

Abstract | References | BibTeX | Full Text (PDF)

Faithful Modeling of Product Lines with Kripke Structures and Modal Logic, pages 69-122

Authors: Z. Diskin, A. Safilian, T. Maibaum, S. Ben-David

Abstract | References | BibTeX | Full Text (PDF)

Errata to „Formations of Monoids, Congruences, and Formal Languages”, pages 123–124

Authors: A. Ballester-Bolinches, E. Cosme-Llópez, R. Esteban-Romero, J.J.M.M. Rutten

References | BibTeX | Full Text (PDF)