Information Flow vs. Resource Access in the Asynchronous Pi-Calculus (Extended Abstract) (2000)

by Matthew Hennessy , James Riely
Citations:68 - 0 self