Decidability of bisimulation equivalence for processes generating context-free languages

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

    Onderzoeksoutput: Boek/rapport › Rapport › Academic

    85 Downloads (Pure)
    Originele taal-2Engels
    Plaats van productieAmsterdam
    UitgeverijCentrum voor Wiskunde en Informatica
    Aantal pagina's32
    StatusGepubliceerd - 1986

    Publicatie series

    NaamCWI report. CS-R
    Volume8632
    ISSN van geprinte versie0169-118X

    Toegang tot document

    • 256841Definitieve gepubliceerde versie, 1,67 MB

      Citeer dit