Ben C. Moszkowski, Dimitar P. Guelev. An application of temporal projection to interleaving concurrency. Formal Asp. Comput., 29(4):705-750, 2017. [doi]
@article{MoszkowskiG17,
title = {An application of temporal projection to interleaving concurrency},
author = {Ben C. Moszkowski and Dimitar P. Guelev},
year = {2017},
doi = {10.1007/s00165-017-0417-3},
url = {https://doi.org/10.1007/s00165-017-0417-3},
researchr = {https://researchr.org/publication/MoszkowskiG17},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {29},
number = {4},
pages = {705-750},
}