DMCA
Type-Based Information Flow Analysis for the Pi-Calculus (2003)
by
Naoki Kobayashi
Venue: | Acta Informatica |
Citations: | 52 - 10 self |