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

A transformation system for concurrent processes

De Francesco, N., and A. Santone, "A transformation system for concurrent processes", Acta informatica, vol. 35, no. 12: Springer, pp. 1037–1073, 1998.