Higher-Order Concurrent Programs with Finite Communication Topology.

Hanne Riis Nielson, Flemming Nielson

Browse the full POPL paper archive.