Algebraic Specification of Communication Protocols
type: Item
instance of: scholarly article
title: Algebraic Specification of Communication Protocols
zbMATH Open document ID: 1152.68033
DOI: 10.1017/CBO9780511721625
publication date: 2009-01-06T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 68M10
Mathematics Subject Classification ID: 68M12
Mathematics Subject Classification ID: 68-00
zbMATH DE Number: 5485663
zbMATH Keywords: algebraic specification
zbMATH Keywords: communication protocols
zbMATH Keywords: PSF language
zbMATH Keywords: PSF-Toolkit
zbMATH Keywords: Amoeba transaction protocol
zbMATH Keywords: local area networks
MaRDI profile type: Publication
full work available at URL: cbo9780511721625
OpenAlex ID: W1834262393
Recommended article: Algebraic Specification of Communication Protocols
Recommended article: Algebraic specification and verification of communication protocols
Recommended article: Development of communication protocols using algebraic and temporal specifications.
Recommended article: Q5747468
Recommended article: Q4981747
Recommended article: Q3988860
Recommended article: Q3742698
Recommended article: Q3030244
Recommended article: Algebra of communicating processes with abstraction
Recommended article: Process algebras for network communication
description: scientific article; zbMATH DE number 5485663