scientific article; zbMATH DE number 1004221

MaRDI QIDQ3129167zbMATH OpenFDO

Authors Yong Sun, Hongji Yang

Publication date 27 April 1997

zbMATH Keywords

communicating sequential processescomputer network protocols

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• An incremental specification of the sliding-window protocol
• scientific article; zbMATH DE number 3892605
• A new formal method for communication protocol specification
• scientific article; zbMATH DE number 4011916
• scientific article; zbMATH DE number 1196700

Cited in

(5)

• The Austin Protocol Compiler.
• Algebraic Specification of Communication Protocols
• scientific article; zbMATH DE number 1088214 (Why is no real title available?)
• scientific article; zbMATH DE number 868109 (Why is no real title available?)
• scientific article; zbMATH DE number 3892605 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3129167)