A distributed monitor