The Functional Specification of OCCAM Programs for Time Critical Applications

Patrick Nixon, P Croll

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Original languageEnglish
    Title of host publicationUnknown Host Publication
    PublisherIOS Press
    Pages131-144
    Number of pages14
    ISBN (Print)9051991215
    Publication statusPublished - 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

    Nixon, P., & Croll, P. (1993). The Functional Specification of OCCAM Programs for Time Critical Applications. In Unknown Host Publication (pp. 131-144). IOS Press. http://ecite.utas.edu.au/69356