Login / Signup

Information Flow vs. Resource Access in the Asynchronous Pi-Calculus.

Matthew HennessyJames Riely
Published in: ICALP (2000)
Keyphrases