Mila Dalla Preda, Cinzia Di Giusto. Hunting Distributed Malware with the κ-Calculus. In Olaf Owe, Martin Steffen, Jan Arne Telle, editors, Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings. Volume 6914 of Lecture Notes in Computer Science, pages 102-113, Springer, 2011. [doi]
Abstract is missing.