The analysis of formal models of communication for the specification of reusable systems (progress report)

This research focuses upon the reuse of processes in numerous environments. It is primarily concerned with investigating the relationship between sub-types, inheritance and reuse within the context of process algebras. A fundamental issue underlying all of the research is the idea of communication and synchronisation between processes and the effect that modification has upon that communication.