A new formal method for communication protocol specification

DOI10.1007/BF02943984zbMath0681.68033OpenAlexW1965164474MaRDI QIDQ1823663

Layuan Li

Publication date: 1989

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02943984

zbMATH Keywords

FSMCSPcomputer networksprotocol specificationdistributed computer systemsADT

Mathematics Subject Classification ID

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

Related Items (1)

Studies on algorithms for self-stabilizing communication protocols

This page was built for publication: A new formal method for communication protocol specification