Volver a los detalles del artículo Sobre la decidibilidad de dos fragmentos del π-cálculo asincrónico Descargar Descargar PDF