DMCA

Type Reconstruction for Linear Pi-Calculus with I/O Subtyping (2001)

by Atsushi Igarashi , Naoki Kobayashi
Citations:14 - 7 self