Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems.

Michele Pasqua, Marino Miculan

Browse the full ISoLA paper archive.