Modal logics for mobile processes (1993)

by Robin Milner, Joachim Parrow, David Walker
Venue:Theoretical Computer Science