The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (Extended Abstract) (1998)

by Joachim Parrow , Björn Victor
Venue:LICS'98
Citations:128 - 14 self