π-Calculus, Internal Mobility, and Agent-Passing Calculi (1995)

by Davide Sangiorgi
Venue:THEORETICAL COMPUTER SCIENCE
Citations:80 - 12 self