Flavio Corradini, Carlo Toffalori, editors, Proceedings of the Workshop on Logic, Models and Computer Science, LMCS 2006, Camerino, Italy, April 20-22, 2006. Volume 169 of Electronic Notes in Theoretical Computer Science, Elsevier, 2007. [doi]
Conference: lmcs2007
Abstract is missing.