This report is the third report on the development of transport and session control protocols under the Federal Computer Network Protocol Standards Program (NBS80). This report will specify the actual operation of the transport and session control protocols.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Formal Specification of the Transport and Session Protocols


    Contributors:
    R. Tenney (author) / J. Burruss (author) / G. Pearson (author)

    Publication date :

    1980


    Size :

    281 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    Standards & Protocols Session

    Weiland, R. J. / IVHS America | British Library Conference Proceedings | 1992


    From Formal Specification to Verified Implementation

    Hocking, Ashlie B. / Di Vito, Ben L. / Rowanhill, Jonathan C. | IEEE | 2024


    Formal Specification of Railway Control Systems

    Xu, Bingqing / Zhang, Lichen | Springer Verlag | 2013


    Formal Specification of the TCAS Protocol

    Schaefer, C. / AIAA | British Library Conference Proceedings | 1993


    Formal specification of the TCAS protocol

    Schaefer, Carl | AIAA | 1993