Towards an ASM Specification for Monitoring and Adaptation Services of Large-Scale Distributed Systems.

Andreea Buga, Sorana Tania Nemes

Browse the full COMPSAC paper archive.