research
∙
04/26/2022
On an Invariance Problem for Parameterized Concurrent Systems
We consider concurrent systems consisting of replicated finite-state pro...
research
∙
02/19/2022