Publisher
Springer Berlin Heidelberg
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Contextual Integrity Property to Impede Privacy Violations in 5G Networks;IFIP Advances in Information and Communication Technology;2023-12-29
2. Global Model-Checking for Propositional $\mu$-Calculus;2023 6th International Conference on Information Communication and Signal Processing (ICICSP);2023-09-23
3. Improved Model Checking Algorithm for Mobile Ambients;2023 4th International Symposium on Computer Engineering and Intelligent Communications (ISCEIC);2023-08-18
4. Processes, Systems & Tests: Defining Contextual Equivalences;Electronic Proceedings in Theoretical Computer Science;2021-10-02
5. Non-terminating processes in the situation calculus;Annals of Mathematics and Artificial Intelligence;2019-11-18