Distributed Monitoring of Concurrent and Asynchronous Systems.

Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard

Browse the full CONCUR paper archive.