Research Pointers by Daniele Varacca
ANR Project REVER
Internship offer at PPS; "Compositional semantics of the reversible pi-calculus":
Projet description
Domain theory
coming soon
Old:
Home