A Generic Type System for the Pi-Calculus (2003)

by Atsushi Igarashi , Naoki Kobayashi
Venue:Theoretical Computer Science
Citations:91 - 8 self