On distributed monitoring of asynchronous systems

Distributed systems are notoriously difficult to understand and analyze in or-der to assert their correction w.r.t. given properties. They often exhibit a huge number of different behaviors, as soon as the active entities (peers, agents, pro-cesses,...) behave in an asynchronous manner. Already the modelization of suc