Prefix iteration in basic process algebra : applying termination techniques

    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
    Pages139-156
    Publication statusPublished - 1995

    Publication series

    NameComputing Science Reports
    Volume95-14
    ISSN (Print)9432-0101

    Cite this