"Parallel concurrent ML."

John H. Reppy, Claudio V. Russo, Yingqi Xiao (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics