Eneia Nicolae Todoran. Metric Semantics for Concurrent Languages Designed in Continuation-Passing Style. In Sergiu Nedevschi, Rodica Potolea, Radu Razvan Slavescu, editors, 16th IEEE International Conference on Intelligent Computer Communication and Processing, ICCP 2020, Cluj-Napoca, Romania, September 3-5, 2020. pages 521-528, IEEE, 2020. [doi]
Abstract is missing.