Term rewriting analysis in process algebra

G.J. Akkerman, J.C.M. Baeten

    Research output: Contribution to journalArticlePopular

    67 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)257-267
    JournalCWI Quarterly
    Volume4
    Issue number4
    Publication statusPublished - 1991

    Cite this