Sobre la especificación y verificación del patrón de programación paralela PCR en TLA+.
| Autor: | Solsona, José E.1 solsona@ort.edu.uy |
|---|---|
| Zdroj: | Memoria Investigaciones en Ingeniería. 2023, Issue 24, p105-116. 12p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|