Development of communication protocols using algebraic and temporal specifications.

DOI10.1016/S1389-1286(03)00215-9zbMath1056.68039MaRDI QIDQ1398910

Peter Pepper, Mohamed Jmaiel

Publication date: 7 August 2003

Published in: Computer Networks (Search for Journal in Brave)

zbMATH Keywords

specificationTemporal logicCommunication protocolsStepwise refinementFormal developmentAlgebraic

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Network protocols (68M12)

This page was built for publication: Development of communication protocols using algebraic and temporal specifications.