3 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Étienne André, Benoît Delahaye, Paulin Fournier +1
In this paper we consider state reachability in networks composed of many identical processes running a parametric timed broadcast protocol (PTBP). PTBP are a new model extending b…