DMCA

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

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