Journal: Formal Asp. Comput.

Volume 28, Issue 4

529 -- 530Marco Carbone, Thomas T. Hildebrandt, Joachim Parrow, Matthias Weidlich. Editorial
531 -- 566Cinzia Di Giusto, Jorge A. Pérez. Event-based run-time adaptation in communication-centric systems
567 -- 595Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene. ASM-based formal design of an adaptivity component for a Cloud system
597 -- 613Artem Polyvyanyy, Abel Armas-Cervantes, Marlon Dumas, Luciano García-Bañuelos. On the expressive power of behavioral profiles
615 -- 641Marco Montali, Andrey Rivkin. Model checking Petri nets with names using data-centric dynamic systems
643 -- 667Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira. Dynamic role authorization in multiparty conversations
669 -- 696Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez. Self-adaptation and secure information flow in multiparty communications
697 -- 722Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro. Reversible client/server interactions