共 50 条
- [2] Parameterizing higher-order processes on names and processes*** RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2019, 53 (3-4): : 153 - 206
- [3] Reasoning about higher-order processes TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 202 - 216
- [4] Light Logics and Higher-Order Processes ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (41): : 46 - 60
- [6] HIGHER-ORDER MOMENTS IN MACROTRANSPORT PROCESSES JOURNAL OF CHEMICAL PHYSICS, 1986, 85 (09): : 5238 - 5245
- [8] HIGHER-ORDER CORRECTIONS TO ELECTROWEAK PROCESSES RIVISTA DEL NUOVO CIMENTO, 1988, 11 (10): : 1 - 59