共 50 条
- [24] On Context Bisimulation for Parameterized Higher-order Processes ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (131): : 37 - 51
- [26] HIGHER-ORDER EFFECTS IN RESONANT MULTIPHOTON PROCESSES PHYSICAL REVIEW A, 1973, 7 (06): : 1899 - 1911
- [27] Characteristic bisimulation for higher-order session processes Acta Informatica, 2017, 54 : 271 - 341