Higher-Order Concurrent Programs with Finite Communication Topology.

Hanne Riis Nielson Flemming Nielson Higher-Order Concurrent Programs with Finite Communication Topology. 84-97 1994 POPL db/conf/popl/popl94.html#NielsonN94