Skip to content
cs-conference-ranking.org

A Fully Abstract Domain Model for the pi-Calculus.

Ian Stark

VenueA*LICS
Year1996
ProceedingsLICS
DBLP recordconf/lics/Stark96 ↗

Browse the full LICS paper archive.