Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms (1992)

by D Sangiorgi