Decidability of bisimulation equivalence for processes generating context-free languages

J.C.M. Baeten, J.A. Bergstra, J.W. Klop

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

    55 Citations (Scopus)
    76 Downloads (Pure)
    Original languageEnglish
    Title of host publicationPARLE, Parallel Architectures and Languages Europe (Eindhoven, The Netherlands, June 15-19, 1987)
    EditorsJ.W. Bakker, de, A.J. Nijman, P.C. Treleaven
    Place of PublicationBerlin
    PublisherSpringer
    Pages94-111
    Volume2
    ISBN (Print)3-540-17945-3
    DOIs
    Publication statusPublished - 1987

    Publication series

    NameLecture Notes in Computer Science
    Volume259
    ISSN (Print)0302-9743

    Cite this