Tomás Poch, Ondrej Sery, Frantisek Plasil, Jan Kofron. Threaded behavior protocols. Formal Asp. Comput., 25(4):543-572, 2013. [doi]
@article{PochSPK13,
title = {Threaded behavior protocols},
author = {Tomás Poch and Ondrej Sery and Frantisek Plasil and Jan Kofron},
year = {2013},
doi = {10.1007/s00165-011-0194-3},
url = {http://dx.doi.org/10.1007/s00165-011-0194-3},
researchr = {https://researchr.org/publication/PochSPK13},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {25},
number = {4},
pages = {543-572},
}