共 50 条
- [41] History-dependent automata: An introduction FORMAL METHODS FOR MOBILE COMPUTING, 2005, 3465 : 1 - 28
- [43] History-dependent Petri nets PETRI NETS AND OTHER MODELS OF CONCURRENCY - ICATPN 2007, 2007, 4546 : 164 - +
- [44] History-dependent random processes PROCEEDINGS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES, 2008, 464 (2093): : 1105 - 1124
- [49] History-Dependent Nominal μ-Calculus 2019 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2019,