research
∙
08/28/2023
Monus semantics in vector addition systems with states
Vector addition systems with states (VASS) are a popular model for concu...
share
research
∙
10/27/2022
Existential Definability over the Subword Ordering
We study first-order logic (FO) over the structure consisting of finite ...
research
∙
11/17/2021
Context-Bounded Verification of Thread Pools
Thread pooling is a common programming idiom in which a fixed set of wor...
research
∙
11/11/2020
The complexity of bounded context switching with dynamic thread creation
Dynamic networks of concurrent pushdown systems (DCPS) are a theoretical...
research
∙
11/09/2020