共 50 条
- [2] Newtonian determinism to branching space-times indeterminism in two moves Synthese, 2012, 188 : 5 - 21
- [3] Freedom, weakness, and determinism: From linear-time to branching-time THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 81 - 92
- [4] The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism THEORETICAL ASPECTS OF COMPUTING - ICTAC 2019, 2019, 11884 : 41 - 58