Detlef Kähler, Ralf Küsters, Thomas Wilke. Deciding Properties of Contract-Signing Protocols. In Volker Diekert, Bruno Durand, editors, STACS 2005, 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005, Proceedings. Volume 3404 of Lecture Notes in Computer Science, pages 158-169, Springer, 2005. [doi]
Abstract is missing.