7 citations · 19 across the 6 of their papers we have counts for
1 paper · 1 filter
Xian Xu, Qiang Yin, Huan Long
Parameterization extends higher-order processes with the capability of abstraction (akin to that in lambda-calculus), and is known to be able to enhance the expressiveness. This pa…