In fact one can encode datatypes, one can encode higher order processes and functions. Here the idea is not to transmit, you see higher order processes, you were to transmit a process; and in this formula you do not transmit a process you just transmit the access to a process and this is the basic paradigm of object oriented programming also.
And then you can have, in the area of p-calculi, many extensions to accommodate distributions, security, mobility, and other concepts arising in global computing.
