Joseph Bremer

Publication Activity (10 Years)

Years Active: 1975-1978
Publications (10 Years): 0

Publications

André A. S. Danthine, Joseph Bremer
Modelling and Verification of End-to-End Transport Protocols. Comput. Networks 2 (1978)
André A. S. Danthine, Joseph Bremer
An Axiomatic Description of the Transport Protocol of Cyclades. Rechnernetze und Datenfernverarbeitung (1976)
André A. S. Danthine, Joseph Bremer
Communication protocols in a network context. ACM SIGOPS Oper. Syst. Rev. 9 (3) (1975)