Protocol analysis and synthesis by structured partitions

DOI10.1016/0169-7552(86)90042-5zbMath0636.68008OpenAlexW2048616776MaRDI QIDQ3776595

Tat Y. Choi, Raymond E. Miller

Publication date: 1986

Published in: Computer Networks and ISDN Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0169-7552(86)90042-5

zbMATH Keywords

synthesisnetwork protocolsprotocol analysiscommunicating finite state machinesprotocol graphstructured partitions

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (1)

Specification and analysis of a data transfer protocol using systems of communicating machines

This page was built for publication: Protocol analysis and synthesis by structured partitions