Paolo Romano, Milton Romero, Bruno Ciciani, Francesco Quaglia. Validiation of the Sessionless Mode of the HTTPR Protocol. In Hartmut König, Monika Heiner, Adam Wolisz, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 - October 2, 2003, Proceedings. Volume 2767 of Lecture Notes in Computer Science, pages 62-78, Springer, 2003. [doi]
Abstract is missing.