Distributed Runtime Verification in Proximity-Based Networks: A Tutorial on the Aggregate Programming Approach.

Giorgio Audrito, Ferruccio Damiani, Giordano Scarso, Volker Stolz, Gianluca Torta

Browse the full FM paper archive.