BibTex format
@article{Harrison:2013:comjnl/bxt103,
author = {Harrison, PG and Marin, A},
doi = {comjnl/bxt103},
journal = {Computer Journal},
pages = {1693--1710},
title = {Product-Forms in Multi-Way Synchronizations},
url = {http://dx.doi.org/10.1093/comjnl/bxt103},
volume = {57},
year = {2013}
}