Unfold/fold transformation of concurrent processes (1996)

by N De Francesco, A Santone
Venue:Proc. 8th Int'l Symp. on Programming Languages: Implementations, Logics and Programs