The kell calculus: A family of higher-order distributed process calculi, in (2005)

by A Schmitt, J-B Stefani
Venue:of Lecture Notes in Computer Science