Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols