The following pages link to Damien Pous (Q299193):
Displaying 15 items.
- Enhanced coalgebraic bisimulation (Q5361143) (← links)
- (Q5367072) (← links)
- Kleene Algebra with Converse (Q5410480) (← links)
- Enhancements of the bisimulation proof method (Q5412011) (← links)
- Automata, Languages and Programming (Q5716822) (← links)
- An Efficient Coq Tactic for Deciding Kleene Algebras (Q5747648) (← links)
- Weak Bisimulation Up to Elaboration (Q5756594) (← links)
- A Distribution Law for CCS and a New Congruence Result for the π-Calculus (Q5758047) (← links)
- (Q5875344) (← links)
- A certificate-based approach to formally verified approximations (Q5875414) (← links)
- Cyclic Proofs and Jumping Automata (Q5875682) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q6563055) (← links)
- Completeness theorems for Kleene algebra with top (Q6587134) (← links)
- Fully abstract encodings of \(\lambda\)-calculus in HOcore through abstract machines (Q6597953) (← links)
- Completeness theorems for Kleene algebra with tests and top (Q6635510) (← links)
