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

• Autores: James Riely, Matthew Hennessy
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 24, Nº 5, 2002, págs. 566-590
• Idioma: inglés
• Texto completo no disponible (Saber más ...)