Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann. A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus. In Frank Drewes, Carlos Martín-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings. Volume 10168 of Lecture Notes in Computer Science, pages 51-63, 2017. [doi]
Abstract is missing.