Modal Logics for Mobile Processes.

Robin Milner, Joachim Parrow, David Walker

Browse the full CONCUR paper archive.