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