DMCA

Type-Based Information Flow Analysis for the Pi-Calculus (2003)

Cached

Download Links

by Naoki Kobayashi
Venue:Acta Informatica
Citations:52 - 10 self