Wilson Ifill, Steve A. Schneider. A step towards refining and translating B control annotations to Handel-C. Concurrency - Practice and Experience, 22(8):1023-1048, 2010. [doi]
@article{IfillS10,
title = {A step towards refining and translating B control annotations to Handel-C},
author = {Wilson Ifill and Steve A. Schneider},
year = {2010},
doi = {10.1002/cpe.1427},
url = {http://dx.doi.org/10.1002/cpe.1427},
tags = {translation, C++},
researchr = {https://researchr.org/publication/IfillS10},
cites = {0},
citedby = {0},
journal = {Concurrency - Practice and Experience},
volume = {22},
number = {8},
pages = {1023-1048},
}