共 50 条
- [2] A Fair Protocol for Non-deterministic Message Passing PROCEEDINGS OF THE THIRD C* CONFERENCE ON COMPUTER SCIENCE AND SOFTWARE ENGINEERING 2010 (C3S2E '10), 2010, : 53 - 58
- [6] LTL Synthesis via Non-deterministic Planning Ruan Jian Xue Bao/Journal of Software, 2022, 33 (08): : 2769 - 2781
- [7] Non-deterministic matrices 34TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2004, : 282 - 287
- [10] Non-deterministic processors INFORMATION SECURITY AND PRIVACY, PROCEEDINGS, 2001, 2119 : 115 - 129