61 citations · 79 across the 7 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…