Modal logics for mobile processes (1993)

by R Milner, J Parrow, D Walker
Venue:Theoretical Computer Science