37 citations · 116 across the 18 of their papers we have counts for
1 paper · 2 filters
Laura Bozzelli, Massimo Benerecetti, Adriano Peron
In this paper we consider the problem of proving properties of infinite behaviour of formalisms suitable to describe (infinite state) systems with recursion and parallelism. As a f…