Logic Based Coordination for Event-Driven Self-healing Distributed Systems.

Carlo Montangero, Laura Semini, Simone Semprini

Browse the full Coordination paper archive.