Formalizing Monitoring Processes for Large-Scale Distributed Systems Using Abstract State Machines.

Andreea Buga, Sorana Tania Nemes

Browse the full SEFM paper archive.