Automated Analysis of Discrete Communication Behavior

DOI10.1109/TSE.1987.232853MaRDI QIDQ3761686zbMATH OpenOpenAlexFDO

Authors Kevin Rea, Robert B. de Johnston

Publication date 1987

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tse.1987.232853

zbMATH Keywords

verificationdistributed systemsalgebraic modelscommunication protocolsconcurrent process specificationMilner's calculus of communicating systemspecification and analysis of communicating processes

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Recommendations

• Analysis of Communicating Automata
• Behavior analysis for validating communication patterns
• Automated analysis of asynchronously communicating systems
• Communicating automata
• The formalization and analysis of a communications protocol
• Quantitative analysis of communication scenarios
• An algorithm for analyzing communicating processes

Cited in

(4)

• Behavior analysis for validating communication patterns
• scientific article; zbMATH DE number 47515 (Why is no real title available?)
• The equivalence in the DCP model
• scientific article; zbMATH DE number 58291 (Why is no real title available?)

This page was built for publication: Automated Analysis of Discrete Communication Behavior

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