Specification and verification of TCSP systems by means of partial abstract data types | Publicación