4 citations · 10 across the 10 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2018
Gossiping in Message-Passing Systems
Benedikt Bollig, Marie Fortin, Paul Gastin
We study the gossip problem in a message-passing environment: When a process receives a message, it has to decide whether the sender has more recent information on other processes…
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…