Gilbert Caplain, René Lalement, Thierry Salset. Checking the Serial Correctness of Control-Parallel Programs. In Constantine Halatsis, Dimitris G. Maritsas, George Philokyprou, Sergios Theodoridis, editors, PARLE 94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings. Volume 817 of Lecture Notes in Computer Science, pages 741-744, Springer, 1994.
@inproceedings{CaplainLS94,
title = {Checking the Serial Correctness of Control-Parallel Programs},
author = {Gilbert Caplain and René Lalement and Thierry Salset},
year = {1994},
tags = {parallel programming, programming},
researchr = {https://researchr.org/publication/CaplainLS94},
cites = {0},
citedby = {0},
pages = {741-744},
booktitle = {PARLE 94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings},
editor = {Constantine Halatsis and Dimitris G. Maritsas and George Philokyprou and Sergios Theodoridis},
volume = {817},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-58184-7},
}