A denotational semantics for SIL-1 as basis for transformational design of digital systems

C. Huijs

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

    Original languageUndefined
    Title of host publication8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds))
    Place of PublicationAmsterdam
    Pages13-25
    Publication statusPublished - 25 Mar 1994

    Keywords

    • METIS-119367

    Cite this

    Huijs, C. (1994). A denotational semantics for SIL-1 as basis for transformational design of digital systems. In 8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds)) (pp. 13-25). Amsterdam.
    Huijs, C. / A denotational semantics for SIL-1 as basis for transformational design of digital systems. 8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds)). Amsterdam, 1994. pp. 13-25
    @inproceedings{f477fbe8aa84485ab711408d7daceca3,
    title = "A denotational semantics for SIL-1 as basis for transformational design of digital systems",
    keywords = "METIS-119367",
    author = "C. Huijs",
    year = "1994",
    month = "3",
    day = "25",
    language = "Undefined",
    pages = "13--25",
    booktitle = "8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds))",

    }

    Huijs, C 1994, A denotational semantics for SIL-1 as basis for transformational design of digital systems. in 8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds)). Amsterdam, pp. 13-25.

    A denotational semantics for SIL-1 as basis for transformational design of digital systems. / Huijs, C.

    8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds)). Amsterdam, 1994. p. 13-25.

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

    TY - GEN

    T1 - A denotational semantics for SIL-1 as basis for transformational design of digital systems

    AU - Huijs, C.

    PY - 1994/3/25

    Y1 - 1994/3/25

    KW - METIS-119367

    M3 - Conference contribution

    SP - 13

    EP - 25

    BT - 8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds))

    CY - Amsterdam

    ER -

    Huijs C. A denotational semantics for SIL-1 as basis for transformational design of digital systems. In 8th Workshop Computer Systems. Technical Report CS-94-04 of University of Amsterdam Deparment of Computer Systems. (Pieter Hartel (Eds)). Amsterdam. 1994. p. 13-25