Chun Ouyang, Lars Michael Kristensen, Jonathan Billington. A Formal Service Specification for the Internet Open Trading Protocol. In Javier Esparza, Charles Lakos, editors, Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings. Volume 2360 of Lecture Notes in Computer Science, pages 352-373, Springer, 2002. [doi]
@inproceedings{OuyangKB02,
title = {A Formal Service Specification for the Internet Open Trading Protocol},
author = {Chun Ouyang and Lars Michael Kristensen and Jonathan Billington},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2360/23600352.htm},
tags = {protocol, source-to-source, open-source},
researchr = {https://researchr.org/publication/OuyangKB02},
cites = {0},
citedby = {0},
pages = {352-373},
booktitle = {Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings},
editor = {Javier Esparza and Charles Lakos},
volume = {2360},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43787-8},
}