Hanne Riis Nielson, Flemming Nielson
Higher-Order Concurrent Programs with Finite Communication Topology
POPL, 1994.
@inproceedings{POPL-1994-NielsonN,
author = "Hanne Riis Nielson and Flemming Nielson",
booktitle = "{Conference Record of the 21st Symposium on Principles of Programming Languages}",
doi = "10.1145/174675.174538",
editor = "Hans-Juergen Boehm and Bernard Lang and Daniel M. Yellin",
isbn = "0-89791-636-0",
pages = "84--97",
publisher = "{ACM Press}",
title = "{Higher-Order Concurrent Programs with Finite Communication Topology}",
year = 1994,
}