Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli. Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. In Vladimir Gorodetsky, Leonard J. Popyack, Victor A. Skormin, editors, Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003, Proceedings. Volume 2776 of Lecture Notes in Computer Science, pages 86-99, Springer, 2003. [doi]