共 50 条
- [21] NON DETERMINISTIC MACHINES AND THEIR GENERALIZATIONS LECTURE NOTES IN PHYSICS, 1984, 196 : 86 - 97
- [26] Calculation of Circulating Currents in Parallel Branches of Salient Pole Synchronous Machines 2020 INTERNATIONAL CONFERENCE ON ELECTRICAL MACHINES (ICEM), VOL 1, 2020, : 2582 - 2588
- [29] A unifying logic for non-deterministic, parallel and concurrent abstract state machines Annals of Mathematics and Artificial Intelligence, 2018, 83 : 321 - 349