2024-02-202024-02-201992https://hdl.handle.net/10657.1/4174programmingsystemmathematicsExploiting Anna in a Distributed Monitoring SystemThesis