Lara Stoltenow, Barbara König 0001, Sven Schneider 0001, Andrea Corradini 0001, Leen Lambers, Fernando Orejas. Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. 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.