A Logic for Distributed Higher Order pi-Calculus.

Zining Cao

Browse the full TAMC paper archive.