skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Unfold/fold transformations of concurrent processes

De Francesco, N., and A. Santone, "Unfold/fold transformations of concurrent processes", Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP, vol. 1140: Springer, pp. 167–181, 1996.