Modal logics for mobile processes (1993)

by Robin Milner , Joachim Parrow Y , David Walker Z
Venue:Theoretical Computer Science
Citations:105 - 4 self