The following pages link to CONCUR 2003 - Concurrency Theory (Q5900555):
Displayed 5 items.
- On-line monitoring of large Petri net models under partial observation (Q732251) (← links)
- Distributed monitoring of concurrent and asynchronous systems (Q1773098) (← links)
- Causality analysis and fault ascription in component-based systems (Q2193287) (← links)
- ``Truly concurrent'' and nondeterministic semantics of discrete-time Petri nets (Q2216716) (← links)
- True-concurrency probabilistic models: Markov nets and a law of large numbers (Q2474051) (← links)