A general conservative extension theorem in process algebra

C. Verhoef

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

    1 Downloads (Pure)


    Abstract in text
    Original languageEnglish
    Title of host publicationProgramming Concepts, Methods and Calculi (Proceedings IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference, Procomet'94, San MIniato, Italy, June 6-10,1994)
    EditorsE.R. Olderog
    Place of PublicationAmsterdam
    PublisherNorth-Holland Publishing Company
    ISBN (Print)0-444-82020-5
    Publication statusPublished - 1994

    Publication series

    NameIFIP Transactions A : Computer science and technology
    ISSN (Print)0926-5473


    Dive into the research topics of 'A general conservative extension theorem in process algebra'. Together they form a unique fingerprint.

    Cite this