Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
LIG
INRIA Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble
CNRS, Grenoble
CNRS, LIG, UMR 5217
A Distribution Law for CCS and a New Congruence Result for the pi-calculus
Deciding Kleene Algebras in Coq
Encapsulation and Dynamic Modularity in the Pi-Calculus
Innocent strategies as presheaves and interactive equivalences for CCS
On characterising strong bisimilarity in a fragment of CCS with replication
No associations
LandOfFree
Damien Pous does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Damien Pous, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Damien Pous will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-187549