Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Christoffer Rosenkilde Nielsen, Henrik Pilegaard. Relational Analysis for Delivery of Services. In Gilles Barthe, Cédric Fournet, editors, Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers. Volume 4912 of Lecture Notes in Computer Science, pages 73-89, Springer, 2007. [doi]
Abstract is missing.