Skip to content

Future-dependent Flow Policies with Prophetic Variables.

Ximeng Li, Flemming Nielson, Hanne Riis Nielson

VenueA*CCS
Year2016
ProceedingsPLAS@CCS

Browse the full CCS paper archive.