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

P.N. Taylor

    Research output: Book/ReportOther report

    43 Downloads (Pure)

    Abstract

    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.
    Original languageEnglish
    PublisherUniversity of Hertfordshire
    Publication statusPublished - 1995

    Publication series

    NameUH Computer Science Technical Report
    PublisherUniversity of Hertfordshire
    Volume229

    Fingerprint

    Dive into the research topics of 'The analysis of formal models of communication for the specification of reusable systems (progress report)'. Together they form a unique fingerprint.

    Cite this