共 50 条
- [26] On the expressiveness of asynchronous cellular automata FUNDAMENTALS OF COMPUTATIONAL THEORY, PROCEEDINGS, 2005, 3623 : 528 - 539
- [29] Automata and Fixpoints for Asynchronous Hyperproperties PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (POPL):