Action Systems and Action Refinement in the Development of Parallel Systems, an Algebraic Approach

W.P.M. Janssen, M. Poel, J. Zwiers

    Research output: Book/ReportReportProfessional

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages71
    Publication statusPublished - 1993

    Publication series

    NameMemoranda informatica
    PublisherUniversity of Twente
    No.93-14
    ISSN (Print)0924-3755

    Cite this