Skip to content
cs-conference-ranking.org

Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques.

Enguerrand Prebet

VenueA*ICALP
Year2022
ProceedingsICALP
DBLP recordconf/icalp/Prebet22 ↗

Browse the full ICALP paper archive.