Stéphane Lafrance, John Mullins. Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols. Electronic Notes in Theoretical Computer Science, 61:154-177, 2002. [doi]
Abstract is missing.