Author:
Calvanese Diego,Montali Marco,Patrizi Fabio,Rivkin Andrey
Publisher
Springer International Publishing
Reference23 articles.
1. Hariri, B.B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: Proceedings of PODS (2013)
2. Belardinelli, F., Lomuscio, A., Patrizi, F.: Verification of agent-based artifact systems. J. Artif. Intell. Res. 51, 333–376 (2014).
https://doi.org/10.1613/jair.4424
3. Calvanese, D., De Giacomo, G., Montali, M.: Foundations of data aware process analysis: a database theory perspective. In: Proceedings of PODS (2013)
4. Calvanese, D., De Giacomo, G., Montali, M., Patrizi, F.: FO
$$\mu $$
μ
-calculus over generic transition systems and applications to the situation calculus. Inf. Comp. 259(3), 328–347 (2018)
5. Calvanese, D., Montali, M., Patrizi, F., Rivkin, A.: Modelling and enactment of data-aware processes. CoRR abs/1810.08062 (2018).
http://arxiv.org/abs/1810.08062
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献