40 citations · 142 across the 19 of their papers we have counts for
Showing 2011 · cs.LOShow all
3 papers · 2 filters
cs.LO2011★ 6 cited
Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)
Tom Hirschowitz, Damien Pous
Seeking a general framework for reasoning about and comparing programming languages, we derive a new view of Milner's CCS. We construct a category E of 'plays', and a subcategory V…
cs.LO2011★ 4 cited
Innocent strategies as presheaves and interactive equivalences for CCS
Tom Hirschowitz, Damien Pous
Seeking a general framework for reasoning about and comparing programming languages, we derive a new view of Milner's CCS. We construct a category E of plays, and a subcategory V o…
cs.LO2011★ 30 cited
Deciding Kleene Algebras in Coq
Thomas Braibant, Damien Pous
We present a reflexive tactic for deciding the equational theory of Kleene algebras in the Coq proof assistant. This tactic relies on a careful implementation of efficient finite a…