"Typed First-Class Communication Channels and Mobility for Concurrent ..."

Pawel T. Wojciechowski (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics