On the specification and verification of the PCR parallel programming pattern in TLA+
Sobre la especificación y verificación del patrón de programación paralela PCR en TLA+
Sobre a especificação e verificação do padrão de programação paralela PCR em TLA+
| 2023 | |
|
Algoritmos paralelos Patrones de diseño Métodos formales TLA Parallel algorithms Design patterns Formal Methods TLA Algoritmos paralelos Padrões de design Métodos Formais TLA |
|
| Español | |
| Universidad de Montevideo | |
| REDUM | |
|
https://revistas.um.edu.uy/index.php/ingenieria/article/view/1146
https://hdl.handle.net/20.500.12806/3351 |
|
| Acceso abierto | |
| Atribución 4.0 Internacional |
