An improved protocol validation technique for a class of communication models

DOI10.1016/0020-0255(86)90042-3zbMath0615.94014OpenAlexW1969681990MaRDI QIDQ1821089

Jung Wan Cho, Si-Yeong Hwang

Publication date: 1986

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0255(86)90042-3

zbMATH Keywords

communication networkstopologydeadlockscommunicating finite state machinesdirected labeled graphprotocol validation algorithmunspecified receptions

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of graph theory to circuits and networks (94C15)

Cites Work

• Deadlock Detection for a Class of Communicating Finite State Machines

This page was built for publication: An improved protocol validation technique for a class of communication models