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.