scientific article; zbMATH DE number 1004221

zbMATH Open0870.68024MaRDI QIDQ3129167FDOQ3129167

Authors: Yong Sun, Hongji Yang 

Publication date: 27 April 1997

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

communicating sequential processescomputer network protocols

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Cited In (3)

• The Austin Protocol Compiler.
• Title not available (Why is that?)
• Algebraic Specification of Communication Protocols

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)