Algebraic Specification of Communication Protocols

DOI10.1017/CBO9780511721625MaRDI QIDQ4318837zbMATH OpenOpenAlexFDO

Authors

Publication date 10 January 1995

Full work available at URL https://doi.org/10.1017/cbo9780511721625

zbMATH Keywords

algebraic specificationAmoeba transaction protocolcommunication protocolslocal area networksPSF languagePSF-Toolkit

Mathematics Subject Classification ID

General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) Network design and communication in computer systems (68M10) Network protocols (68M12) Abstract data types; algebraic specification (68Q65)

Recommendations

• An incremental specification of the sliding-window protocol
• scientific article; zbMATH DE number 1004221
• scientific article; zbMATH DE number 1196700
• A Simple Protocol Whose Proof Isn't
• scientific article; zbMATH DE number 47515

Cited in

(8)

• Process algebra with language matching
• A new formal method for communication protocol specification
• Computable processes and bisimulation equivalence
• Compositional verification of a communication protocol for a remotely operated aircraft
• scientific article; zbMATH DE number 6308216 (Why is no real title available?)
• An algebraic semantics for hierarchical P/T nets
• Algebraic Specification of Communication Protocols
• Linearization in parallel pCRL

This page was built for publication: Algebraic Specification of Communication Protocols

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