61 citations · 73 across the 3 of their papers we have counts for
1 paper · 1 filter
Alan Jeffrey, Julian Rathke
The higher-order pi-calculus is an extension of the pi-calculus to allow communication of abstractions of processes rather than names alone. It has been studied intensively by Sang…