Vol-3001⫷ Vol-3002 ⫸Vol-3003
urn:nbn:de:0074-3002-0


Vol-3002/paper1⫷Vol-3002/paper22⫸Vol-3002/paper24
Diego CalvaneseFrancesco Di CosmoJorge Lobo 0001Marco Montali

Convergence Verification of Declarative Distributed Systems