This thesis is a foundational and systematic investigation of the principles which ensure that a piece of communicating software can be replaced by another piece of communicating software, without hindering the operations ...