Role-Based Declarative Synchronization for Reconfigurable Systems.

Vlad Tanasescu, Pawel T. Wojciechowski

Browse the full PADL paper archive.