The Functional Specification of OCCAM Programs for Time Critical Applications

Patrick Nixon, P Croll

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

    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.
    Nixon, Patrick ; Croll, P. / The Functional Specification of OCCAM Programs for Time Critical Applications. Unknown Host Publication. IOS Press, 1993. pp. 131-144
    @inproceedings{34a2ecba6a504e688a15b40462d14cf4,
    title = "The Functional Specification of OCCAM Programs for Time Critical Applications",
    keywords = "n/a",
    author = "Patrick Nixon and P Croll",
    year = "1993",
    language = "English",
    isbn = "9051991215",
    pages = "131--144",
    booktitle = "Unknown Host Publication",
    publisher = "IOS Press",
    address = "Netherlands",

    }

    Nixon, P & Croll, P 1993, The Functional Specification of OCCAM Programs for Time Critical Applications. in Unknown Host Publication. IOS Press, pp. 131-144, Proceedings of WoTUG-16:Transputer and Occam Research : New Directions, 1/01/93.

    The Functional Specification of OCCAM Programs for Time Critical Applications. / Nixon, Patrick; Croll, P.

    Unknown Host Publication. IOS Press, 1993. p. 131-144.

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

    TY - GEN

    T1 - The Functional Specification of OCCAM Programs for Time Critical Applications

    AU - Nixon, Patrick

    AU - Croll, P

    PY - 1993

    Y1 - 1993

    KW - n/a

    M3 - Conference contribution

    SN - 9051991215

    SP - 131

    EP - 144

    BT - Unknown Host Publication

    PB - IOS Press

    ER -

    Nixon P, Croll P. The Functional Specification of OCCAM Programs for Time Critical Applications. In Unknown Host Publication. IOS Press. 1993. p. 131-144