A Complete, Co-inductive Syntactic Theory of Sequential Control and State

Kristian Støvring, Soren B. Lassen

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearch

    Original languageEnglish
    Title of host publicationSemantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
    EditorsJens Palsberg
    PublisherSpringer
    Publication date2009
    Pages329-375
    DOIs
    Publication statusPublished - 2009
    SeriesLecture Notes in Computer Science
    Number5700

    Cite this