Volume 28, Issue 4

Formal Aspects of Computing is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.

Search all Formal Aspects of Computing articles

July 2016

Extended versions of papers presented at WS-FM 2014 and Beat 2014

8 articles in this issue

Editorial
Marco Carbone
Thomas Hildebrandt
Matthias Weidlich
Editorial 12 July 2016 Pages: 529 - 530
Event-based run-time adaptation in communication-centric systems
Cinzia Di Giusto
Jorge A. Pérez
Original Article Open access 12 May 2016 Pages: 531 - 566
ASM-based formal design of an adaptivity component for a Cloud system
Paolo Arcaini
Roxana-Maria Holom
Elvinia Riccobene
Original Article 13 April 2016 Pages: 567 - 595
On the expressive power of behavioral profiles
Artem Polyvyanyy
Abel Armas-Cervantes
Luciano García-Bañuelos
Original Article 13 May 2016 Pages: 597 - 613
Model checking Petri nets with names using data-centric dynamic systems
Marco Montali
Andrey Rivkin
Original Article 18 April 2016 Pages: 615 - 641
Dynamic role authorization in multiparty conversations
Silvia Ghilezan
Svetlana Jakšić
Hugo Torres Vieira
Original Article Open access 18 March 2016 Pages: 643 - 667
Self-adaptation and secure information flow in multiparty communications
Ilaria Castellani
Mariangiola Dezani-Ciancaglini
Jorge A. Pérez
Original Article Open access 20 June 2016 Pages: 669 - 696
Reversible client/server interactions
Franco Barbanera
Mariangiola Dezani-Ciancaglini
Ugo de’Liguoro
Original Article 24 February 2016 Pages: 697 - 722

Volume 28, Issue 4

Search

Navigation