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

by Davide Sangiorgi
Venue:THEORETICAL COMPUTER SCIENCE
Citations:87 - 14 self