José E. Solsona. On the specification and verification of the PCR parallel programming pattern in TLA+. CLEI Electron. J., 26(1), May 2023. [doi]
@article{Solsona23,
title = {On the specification and verification of the PCR parallel programming pattern in TLA+},
author = {José E. Solsona},
year = {2023},
month = {May},
doi = {10.19153/cleiej.26.1.6},
url = {https://doi.org/10.19153/cleiej.26.1.6},
researchr = {https://researchr.org/publication/Solsona23},
cites = {0},
citedby = {0},
journal = {CLEI Electron. J.},
volume = {26},
number = {1},
}