An improved protocol validation technique for a class of communication models

DOI10.1016/0020-0255(86)90042-3zbMATH Open0615.94014OpenAlexW1969681990MaRDI QIDQ1821089FDOQ1821089

Authors: Si-Yeong Hwang, Jung Wan Cho 

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

Recommendations

• scientific article; zbMATH DE number 2080915
• Protocol validation by fair progress state exploration
• On Communicating Finite-State Machines
• Protocol validation — principles and applications
• scientific article; zbMATH DE number 3892605

zbMATH Keywords

topologycommunication networksdeadlockscommunicating 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

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Protocol validation by fair progress state exploration
• Protocol validation — principles and applications
• A new formal method for communication protocol specification

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

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