Formalizing process algebraic specifications in COQ

M.A. Bezem, R.N. Bol, J.F. Groote

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationProceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, April 1995)
    EditorsA.J. Ponse, C. Verhoef, S.F.M. Vlijmen, van
    Place of PublicationEindhoven
    PublisherTechnische Universiteit Eindhoven
    Publication statusPublished - 1995

    Publication series

    NameComputing Science Reports
    ISSN (Print)9432-0101

    Cite this