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]
Abstract is missing.