"Sound Bisimulations for Higher-Order Distributed Process Calculus."

Adrien Piérard, Eijiro Sumii (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics