A Bisimulation-Based Semantic Theory of Safe Ambients

• Autores: Massimo Merro, Matthew Hennessy
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 28, Nº 2, 2006, págs. 290-330
• Idioma: inglés
• Texto completo no disponible (Saber más ...)