We investigate Leifer-Milner RPO approach for CCS and pi-calculus. 
The basic category in which we carry out the construction is 
the category of term contexts. Several issues and problems emerge from 
this experiment; for them we propose some new solutions.