Joana Martinho, António Ravara. Encoding cryptographic primitives in a calculus with polyadic synchronization. In Zoran Majkic, Michael Sipser, R. Radha, Daming Wei, editors, International Conference on Theoretical and Mathematical Foundations of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008. pages 102-109, ISRST, 2008.
Abstract is missing.