Ryszard Janicki, Tomasz Müldner. Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards. Theoretical Computer Science, 77(1&2):97-129, 1990.
@article{JanickiM90,
title = {Transformations of Sequential Specifications into Concurrent Specifications by Synchronization Guards},
author = {Ryszard Janicki and Tomasz Müldner},
year = {1990},
tags = {synchronization, transformation},
researchr = {https://researchr.org/publication/JanickiM90},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {77},
number = {1&2},
pages = {97-129},
}