9 citations · 30 across the 13 of their papers we have counts for
1 paper · 1 filter
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…