Active Evaluation Contexts for Reaction Semantics

Henrik Pilegaard, Flemming Nielson, Hanne Riis Nielson

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

    255 Downloads (Pure)
    Original languageEnglish
    Title of host publicationElectronic Notes in Theoretical Computer Science
    Volume175
    PublisherElsevier
    Publication date2007
    Pages57-70
    Publication statusPublished - 2007
    EventProceedings of Structural Operational Semantics 2006 -
    Duration: 1 Jan 2006 → …

    Conference

    ConferenceProceedings of Structural Operational Semantics 2006
    Period01/01/2006 → …

    Cite this