共 50 条
- [36] On Decidability of the Bisimilarity on Higher-order Processes with Parameterization* ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (339): : 76 - 92
- [37] Recent Advances in DNA Nanotechnology for Plasmonic Biosensor Construction BIOSENSORS-BASEL, 2022, 12 (06):
- [38] On Bisimulation Theory in Linear Higher-Order π-Calculus TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 244 - 274
- [40] On Context Bisimulation for Parameterized Higher-order Processes ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (131): : 37 - 51