A {K}leene analysis of Mobile Ambients

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProc. ESOP'00
    PublisherSpringer Verlag
    Publication date2000
    Pages305-319
    Publication statusPublished - 2000

    Cite this