Weighted Basic Parallel Processes and Combinatorial Enumeration

Lorenzo Clemente. Weighted Basic Parallel Processes and Combinatorial Enumeration. 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.