Ionut Tutu. Logical Foundations of Services. In Andrew V. Jones, Nicholas Ng, editors, 2013 Imperial College Computing Student Workshop, ICCSW 2013, September 26/27, 2013, London, United Kingdom. Volume 35 of OASICS, pages 111-118, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2013. [doi]
Abstract is missing.