共 50 条
- [11] Parameterizing higher-order processes on names and processes*** RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2019, 53 (3-4): : 153 - 206
- [16] A synchronous semantics of higher-order processes for modeling reconfigurable reactive systems FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, 1998, 1530 : 78 - 89
- [18] Reasoning about higher-order processes TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 202 - 216
- [19] HIGHER-ORDER CORRECTIONS TO ELECTROWEAK PROCESSES RIVISTA DEL NUOVO CIMENTO, 1988, 11 (10): : 1 - 59
- [20] HIGHER-ORDER MOMENTS IN MACROTRANSPORT PROCESSES JOURNAL OF CHEMICAL PHYSICS, 1986, 85 (09): : 5238 - 5245