Sound Bisimulations for Higher-Order Distributed Process Calculus.

Adrien Pirard, Eijiro Sumii

Browse the full FOSSACS paper archive.