Author:
Alur R.,Peled D.,Penczek W.
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Dynamic Logic of Data-Informed Knowledge;Journal of Philosophical Logic;2024-01-16
2. Model Checking a Logic for True Concurrency;ACM Transactions on Computational Logic;2020-10-31
3. Modeling Concurrent Behaviors as Words;Lecture Notes in Computer Science;2019
4. Automata for True Concurrency Properties;Lecture Notes in Computer Science;2018
5. Local Model Checking in a Logic for True Concurrency;Lecture Notes in Computer Science;2017