.png){kind=icon}
返回
Generalized interface automata with multicast synchronization
.png){kind=icon}
PRE
AI
DOI：10.1007/s11704-014-4016-7.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Interface automata are one of the prominent formalisms for specifying interface behaviors of component-based systems. However, only one-to-one communication is allowed in the composition of interface automata. This paper presents multicast interface automata which generalize the classic interface automata and accommodate multicast communication mechanism. The multicast interface automata endorse both bottom-up and top-down design methodologies. Theoretical results on compatibility and refinement are established for incremental design and independent implementability.
Keyword:
interface automata
multicast communication
component interaction
verification
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.6
论文数:
1.6K
被引数:
2.8K
机构
引用论文
.png){kind=icon}
分享收藏
分享收藏分享收藏AN APPROACH TO THE RELIGIOUS GEOGRAPHY OF THE UNITED STATES: PATTERNS OF CHURCH MEMBERSHIP IN 19521
PREAI
分享收藏
查看更多内容