1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2012★ 1 cited
A type reduction theory for systems with replicated components
Tomasz Mazur, Gavin Lowe
The Parameterised Model Checking Problem asks whether an implementation Impl(t) satisfies a specification Spec(t) for all instantiations of parameter t. In general, t can determine…
cs.LO2010
Models for CSP with availability information
Gavin Lowe
We consider models of CSP based on recording what events are available as possible alternatives to the events that are actually performed. We present many different varieties of su…