Volver a los detalles del artículo
Sobre la especificación y verificación del patrón de programación paralela PCR en TLA+
Descargar
Descargar PDF