Algebraic Specification of Communication Protocols

DOI10.1017/CBO9780511721625zbMATH Open1152.68033OpenAlexW1834262393MaRDI QIDQ5302140

No author found.

Publication date: 6 January 2009

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

zbMATH Keywords

algebraic specificationlocal area networkscommunication protocolsAmoeba transaction protocolPSF languagePSF-Toolkit

Mathematics Subject Classification ID

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

Related Items (2)

Unnamed Item ⋮ A new formal method for communication protocol specification

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Algebra of communicating processes with abstraction 👍 👎
• Development of communication protocols using algebraic and temporal specifications. 👍 👎
• Algebraic specification and verification of communication protocols 👍 👎
• Process algebras for network communication 👍 👎
• Algebraic Specification of Communication Protocols 👍 👎

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