共 50 条
- [21] A Parallel Framework for Handling Non-determinism with Expressive Description Logics [J]. PROCEEDINGS OF 2014 IEEE INTERNATIONAL PARALLEL & DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2014, : 700 - 709
- [22] Correctness of non-determinism analyses in a parallel-functional language [J]. IMPLEMENTATION OF FUNCTIONAL LANGUAGES, 2004, 3145 : 69 - 85
- [24] Distinguishing signatures of determinism and stochasticity in spiking complex systems [J]. Scientific Reports, 3
- [26] Detecting determinism in high-dimensional chaotic systems [J]. PHYSICAL REVIEW E, 2002, 65 (01):
- [27] Provable Determinism for Software in Cyber-Physical Systems [J]. VERIFIED SOFTWARE: THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2023, 2024, 14095 : 85 - 107
- [28] Distinguishing signatures of determinism and stochasticity in spiking complex systems [J]. SCIENTIFIC REPORTS, 2013, 3