scientific article; zbMATH DE number 3903959

MaRDI QIDQ3681930zbMATH OpenFDO

Authors Hans Eckert

Publication date 1985

zbMATH Keywords

communication protocolsdistributed systemsspecificationverification

Mathematics Subject Classification ID

Theory of operating systems (68N25) Theory of software (68N99)

Recommendations

• An algorithmic technique for protocol verification
• scientific article; zbMATH DE number 1196700
• scientific article; zbMATH DE number 4011916
• scientific article; zbMATH DE number 3926217
• Algebraic specification and verification 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 Q3681930)