TLA+ specification of PCR parallel programming pattern
- Autor(es):
- Tipo:
- Conferencia
- Versión:
- Publicado
- Financiadores:
- Agencia Nacional de Investigación e Innovación
- Año:
- 2020
- Idioma:
- Inglés
- Temas:
- Parallel programming patterns
Formal semantics
Formal verification
Ciencias Naturales y Exactas
Ciencias de la Computación e Información
- Institución:
- Agencia Nacional de Investigación e Innovación
- Repositorio:
- REDI
- Enlace(s):
- https://hdl.handle.net/20.500.12381/488
- Nivel de acceso:
- Licencia:
- Reconocimiento 4.0 Internacional. (CC BY)