共 50 条
[25]
On Decidability of the Bisimilarity on Higher-order Processes with Parameterization*
[J].
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE,
2021, (339)
:76-92
[26]
Environmental Bisimulations for Probabilistic Higher-order Languages
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
2019, 41 (04)
[27]
Higher-order numerical derivatives for photonic applications
[J].
OPTICS AND PHOTONICS FOR INFORMATION PROCESSING XIV,
2020, 11509
[29]
Parameterizing higher-order processes on names and processes***
[J].
RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS,
2019, 53 (3-4)
:153-206
[30]
On the Relative Expressiveness of Higher-Order Session Processes
[J].
PROGRAMMING LANGUAGES AND SYSTEMS (ESOP 2016),
2016, 9632
:446-475