共 50 条
- [41] On Decidability of the Bisimilarity on Higher-order Processes with Parameterization* ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (339): : 76 - 92
- [42] On Bisimulation Theory in Linear Higher-Order π-Calculus TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 244 - 274
- [44] On Context Bisimulation for Parameterized Higher-order Processes ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (131): : 37 - 51
- [45] A higher-order porous thermoelastic problem with microtemperatures Applied Mathematics and Mechanics, 2023, 44 : 1911 - 1926