Paula Severi, Fer-Jan de Vries. Completeness of Conversion between Reactive Programs for Ultrametric Models. In Masahito Hasegawa, editor, Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings. Volume 7941 of Lecture Notes in Computer Science, pages 221-235, Springer, 2013. [doi]
Abstract is missing.