-
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... -
Scenario automata : theory and applications
Partial order automata are more known under their standardized name "'Message Sequence Charts (MSCs). They have met a considerable interest during the last 15 years....
