Chun Ouyang, Lars Michael Kristensen, Jonathan Billington. A Formal and Executable Specification of the Internet Open Trading Protocol. In Kurt Bauknecht, A. Min Tjoa, Gerald Quirchmayr, editors, E-Commerce and Web Technologies, Third International Conference, EC-Web 2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings. Volume 2455 of Lecture Notes in Computer Science, pages 377-387, Springer, 2002. [doi]
Abstract is missing.