1 | -- | 26 | Jan A. Bergstra, C. A. Middelburg. On Instruction Sets for Boolean Registers in Program Algebra |
27 | -- | 68 | Gustavo Betarte, Juan Diego Campo, Carlos Luna, Agustín Romano. Formal Analysis of Android's Permission-Based Security Model, |
69 | -- | 122 | Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David. Faithful Modeling of Product Lines with Kripke Structures and Modal Logic |
123 | -- | 124 | Adolfo Ballester-Bolinches, Enric Cosme-Llópez, Ramon Esteban-Romero, Jan J. M. M. Rutten. Errata to "Formations of Monoids, Congruences, and Formal Languages" |