What is a free name in a process algebra?

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalInformation Processing Letters
    Volume103
    Issue number5
    Pages (from-to)188-194
    ISSN0020-0190
    DOIs
    Publication statusPublished - 2007

    Cite this