Specification and verification of TCSP systems by means of partial abstract types