Marco Bernardo, Flavio Corradini, Luca Tesei. Timed process calculi: from durationless actions to durational ones. In Stefano Bistarelli, Andrea Formisano, editors, Proceedings of the 15th Italian Conference on Theoretical Computer Science, Perugia, Italy, September 17-19, 2014. Volume 1231 of CEUR Workshop Proceedings, pages 21-32, CEUR-WS.org, 2014. [doi]
Abstract is missing.