"The Challenge of Typed Expressiveness in Concurrency."

Jorge A. Pérez (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics