Joselito Medina Marín, Maria Guadalupe Serna-Diaz, Juan Carlos Seck Tuoh Mora, Norberto Hernandez-Romero, Irving Barragán-Vite, Cinthia Montano-Lara. Static Analysis for the No Termination Problem in Active Databases by Using Petri Nets Modelling. In AISS 2021: 3rd International Conference on Advanced Information Science and System, Sanya, China, November 26 - 28, 2021. ACM, 2021. [doi]
Abstract is missing.