A Logical Characterization for Linear Higher-Order Processes
XU Xian1*(徐贤), LONG Huan2 (龙环)
A Logical Characterization for Linear Higher-Order Processes
XU Xian1*(徐贤), LONG Huan2 (龙环)
上海交通大学学报（英文版） . 2015, (2): 185 -194 .  DOI: 10.1007/s12204-014-1554-y