共 50 条
- [32] On the Relative Expressiveness of Higher-Order Session Processes PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016), 2016, 9632 : 446 - 475
- [33] Session-Based Communication Optimisation for Higher-Order Mobile Processes TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2009, 5608 : 203 - 218
- [38] On Context Bisimulation for Parameterized Higher-order Processes ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (131): : 37 - 51
- [40] HIGHER-ORDER EFFECTS IN RESONANT MULTIPHOTON PROCESSES PHYSICAL REVIEW A, 1973, 7 (06): : 1899 - 1911