On decidability properties of two fragments of the asynchronous pi-calculus

• Autores: Jesús A. Aranda A.
• Localización: Ingeniería y competitividad: revista científica y tecnológica, ISSN 0123-3033, Vol. 15, Nº. 2, 2013, págs. 137-149
• Idioma: inglés
• Texto completo no disponible (Saber más ...)