Henry Tirri. Simulation, Reduction and Preservation of Correctness Properties of Parallel Systems. Inf. Process. Lett., 17(1):21-27, 1983.
@article{Tirri83:0,
title = {Simulation, Reduction and Preservation of Correctness Properties of Parallel Systems},
author = {Henry Tirri},
year = {1983},
researchr = {https://researchr.org/publication/Tirri83%3A0},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {17},
number = {1},
pages = {21-27},
}