Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications.

Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noel De Palma

Browse the full DAIS paper archive.