Sciweavers

4 search results - page 1 / 1
» tocl 2012
Sort
View
TOCL
2012
241views Formal Methods» more  TOCL 2012»
12 years 1 months ago
Model Checking of Recursive Probabilistic Systems
Kousha Etessami, Mihalis Yannakakis
TOCL
2012
233views Formal Methods» more  TOCL 2012»
12 years 1 months ago
On the Expressive Power of Multiple Heads in CHR
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiar...
TOCL
2012
202views Formal Methods» more  TOCL 2012»
12 years 1 months ago
Reachability Problems in Piecewise FIFO Systems
Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Ri...
TOCL
2012
235views Formal Methods» more  TOCL 2012»
12 years 1 months ago
Topological and Simplicial Models of Identity Types
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
Benno van den Berg, Richard Garner