1 paper
Armando B. Matos, Luca Paolini, Luca Roversi
Given a simple recursive function, we show how to extract two interacting processes from it. The two processes can be described by means of iterative programs, one of which is intr…