TOCL 2012 | Sciweavers

29

TOCL
2012

235views Formal Methods» more TOCL 2012»

Topological and Simplicial Models of Identity Types

11 years 6 months ago

racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless suﬃciently strong to allow the con...

Benno van den Berg, Richard Garner

claim paper

Read More »

19

click to vote

TOCL
2012

233views Formal Methods» more TOCL 2012»

On the Expressive Power of Multiple Heads in CHR

11 years 6 months ago

Download tocl.acm.org

Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiar...

claim paper

Read More »

22

click to vote

TOCL
2012

202views Formal Methods» more TOCL 2012»

Reachability Problems in Piecewise FIFO Systems

11 years 6 months ago

Download tocl.acm.org

Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Ri...

claim paper

Read More »

31

click to vote

TOCL
2012

241views Formal Methods» more TOCL 2012»

Model Checking of Recursive Probabilistic Systems

11 years 6 months ago

Download tocl.acm.org

Kousha Etessami, Mihalis Yannakakis

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers