The following pages link to CONCUR 2004 - Concurrency Theory (Q5311479):
Displaying 7 items.
- Parameterised verification for multi-agent systems (Q253980) (← links)
- A model checking-based approach for security policy verification of mobile systems (Q432137) (← links)
- Multi-parameterised compositional verification of safety properties (Q498394) (← links)
- An invariant-based approach to the verification of asynchronous parameterized networks (Q604385) (← links)
- Parameterized verification of time-sensitive models of ad hoc network protocols (Q896913) (← links)
- Parameterized model checking of rendezvous systems (Q1635829) (← links)
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms (Q1696580) (← links)