Guillermo A. Pérez 0001, Shrisha Rao 0002. On Continuous Pushdown VASS in One Dimension. In Rupak Majumdar, Alexandra Silva 0001, editors, 35th International Conference on Concurrency Theory, CONCUR 2024, September 9-13, 2024, Calgary, Canada. Volume 311 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024. [doi]
Abstract is missing.