The Functional Specification of OCCAM Programs for Time Critical Applications

Patrick Nixon, P Croll

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

    Original languageEnglish
    Title of host publicationUnknown Host Publication
    PublisherIOS Press
    Pages131-144
    Number of pages14
    ISBN (Print)9051991215
    Publication statusPublished (in print/issue) - 1993
    EventProceedings of WoTUG-16:Transputer and Occam Research : New Directions - Sheffield University, UK
    Duration: 1 Jan 1993 → …

    Conference

    ConferenceProceedings of WoTUG-16:Transputer and Occam Research : New Directions
    Period1/01/93 → …

    Keywords

    • n/a

    Cite this