共 50 条
- [21] MECHANICAL VERIFICATION OF DISTRIBUTED ALGORITHMS IN HIGHER-ORDER LOGIC COMPUTER JOURNAL, 1995, 38 (02): : 152 - 161
- [23] Foundations of Consistency Types for a Higher-Order Distributed Language LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, LCPC 2019, 2021, 11998 : 49 - 63
- [24] Mechanical verification of distributed algorithms in higher-order logic Chou, Ching-Tsun, 1600, Oxford Univ Press, Oxford, United Kingdom (38):
- [25] Sound Bisimulations for Higher-Order Distributed Process Calculus FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, 2011, 6604 : 123 - 137
- [27] RECURSIVE GENERATION OF HIGHER-ORDER TERMS IN THE MAGNUS EXPANSION PHYSICAL REVIEW A, 1989, 39 (07): : 3270 - 3273
- [30] Test Generation for Higher-Order Functions in Dynamic Languages PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2