-
Distributed monitoring of concurrent and asynchronous systems---extended version
In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of... -
Event structure semantics of the parallel extrusion in the pi-calculus
International audience -
Symmetry in Concurrent Games
International audience
