-
Partial Order Techniques for Distributed Discrete Event Systems: why you can'...
Monitoring or diagnosis of large scale distributed Discrete Event Systems with asynchronous communication is a demanding task. Ensuring that the methods developed for... -
Study of concurrency in real-time distributed systems
This thesis is concerned with the modeling and the analysis of distributedreal-time systems. In distributed systems, components evolve partlyindependently: concurrent...
