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

A Program Transformations Methodology for CCS

De Francesco, N., and A. Santone, "A Program Transformations Methodology for CCS", Proceedings of the Fifth Italian Conference of Theoretical Computer Science, Ravello, Italy: {} ’, 1995.