Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Opportunistic Monitoring of Multithreaded Programs;Fundamental Approaches to Software Engineering;2023
2. Sound Concurrent Traces for Online Monitoring;Model Checking Software;2023
3. Terms and Automata Through Logic;Handbook of Logical Thought in India;2022
4. Parallelisable Regular Languages;IOP Conference Series: Materials Science and Engineering;2021-01-01
5. Logic and rational languages of scattered and countable series-parallel posets;Theoretical Computer Science;2020-02