34 citations · 78 across the 22 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Reachability for dynamic parametric processes
Anca Muscholl, Helmut Seidl, Igor Walukiewicz
In a dynamic parametric process every subprocess may spawn arbitrarily many, identical child processes, that may communicate either over global variables, or over local variables t…
cs.FL2016★ 4 cited
On parametrized verification of asynchronous, shared-memory pushdown systems
Marie Fortin, Anca Muscholl, Igor Walukiewicz
We consider the model of parametrized asynchronous shared-memory pushdown systems, as introduced in [Hague'11]. In a series of recent papers it has been shown that reachability in…