Robuta

https://tidsskrift.dk/brics/issue/view/2746 No. 8 (2001): RS-8 Checking for Open Bisimilarity in the pi-Calculus | BRICS Report Series in the pi calculus checking open bisimilarity https://research.google/pubs/computational-secrecy-by-typing-for-the-pi-calculus/ Computational Secrecy by Typing for the Pi Calculus for the pi calculus computational secrecy typing