31 citations · 106 across the 28 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012★ 31 cited
Adaptable processes
Mario Bravetti, Cinzia Di Giusto, Jorge A Perez +1
We propose the concept of adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns r…
cs.LO2012★ 2 cited
The Cost of Parameterized Reachability in Mobile Ad Hoc Networks
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso +1
We investigate the impact of spontaneous movement in the complexity of verification problems for an automata-based protocol model of networks with selective broadcast communication…