Author:
Saraswat V.A.,Jagadeesan R.,Gupta V.
Cited by
55 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An Interleaving Semantics of the Timed Concurrent Language for Argumentation to Model Debates and Dialogue Games;Theory and Practice of Logic Programming;2023-07-05
2. Semantics of temporal constrained objects;Journal of Logical and Algebraic Methods in Programming;2021-02
3. A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks;Formal Techniques for Distributed Objects, Components, and Systems;2021
4. Dynamic Slicing for Concurrent Constraint Languages;Fundamenta Informaticae;2020-12-10
5. Spacetime Programming;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07