7 citations · 19 across the 6 of their papers we have counts for
1 paper · 1 filter
Xian Xu, Wenbo Zhang
Higher-order processes with parameterization are capable of abstraction and application (migrated from the lambda-calculus), and thus are computationally more expressive. For the m…