A Program Transformations Methodology for CCS (1995)

by N De Francesco, A Santone
Venue:In Proceedings of the Fifth Italian Conference of Theoretical Computer Science