On Continuous Pushdown VASS in One Dimension

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

Abstract is missing.