Protocol analysis and synthesis by structured partitions

DOI10.1016/0169-7552(86)90042-5MaRDI QIDQ3776595zbMATH OpenOpenAlexFDO

Authors 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

communicating finite state machinesnetwork protocolsprotocol analysisprotocol graphstructured partitionssynthesis

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• The synthesis of communication protocols
• On Communicating Finite-State Machines
• Protocol Verification via Projections
• Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets
• Specification and analysis of a data transfer protocol using systems of communicating machines

Cited in

(8)

• The synthesis of communication protocols
• Specification and analysis of a composition of protocols
• Protocol analysis with time and space
• A new ratio for protocol categorization
• The CL-Atse Protocol Analyser
• Static Analysis of Dynamic Communication Systems by Partner Abstraction
• Computer Aided Systems Theory – EUROCAST 2005
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3776595)