Formal communication semantics of SystemC^FL

机译：SystemC ^{FL 的形式通信语义}

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper, we define a formal communication semantics for SystemC^FL that deals with concurrency and interaction. The communication semantics of SystemC^FL is formally defined in a standard structured operational semantics (SOS) style. The correctness of the proposed communication semantics of SystemC^FL is also validated. A case study (RPC protocol with refinement) is given to illustrate the use of the newly developed communication semantics of SystemC^FL.

机译：在本文中，我们为SystemC ^{FL 定义了一种并发和交互的形式化通信语义。 SystemC ^{FL 的通信语义以标准结构化操作语义（SOS）样式正式定义。还验证了所提出的SystemC ^{FL 通信语义的正确性。给出了一个案例研究（带有细化的RPC协议）来说明SystemC ^{FL 的最新开发的通信语义的使用。}}}}

著录项

来源
《Update on New Power Electronic Techniques》|1997年|p.338-345|共8页
会议地点
作者
Man K.L.;
展开▼
作者单位

Dept. of Math. Comput. Sci., Eindhoven Univ. of Technol., Netherlands;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction [J] . Nesrine Harrath, Bruno Monsuez International journal of critical computer-based systems . 2014,第3a4期

机译：用SystemC编写的系统级设计的组合反应语义以及带谓词抽象的形式验证
2. SystemCFL: Formal Specification and Analysis of Hardware/Software Co-designs [J] . Ka L. Man WSEAS Transactions on Circuits and Systems . 2006,第3期

机译：SystemCFL：硬件/软件协同设计的正式规范和分析
3. Near-Field Communication Transceiver System Modeling and Analysis Using SystemC/SystemC-AMS With the Consideration of Noise Issues [J] . Li W., Zhou D., Li M., IEEE transactions on very large scale integration (VLSI) systems . 2013,第12期

机译：考虑噪声问题的使用SystemC / SystemC-AMS的近场通信收发器系统建模和分析
4. Formal communication semantics of SystemC/sup FL/ [C] . Man, K.L. . 2005

机译：SystemC / sup FL /的形式化通信语义
5. A composite semantic communications framework for representation of agent communication language semantics. [D] . Harper, Lois. 2006

机译：用于代理通信语言语义表示的复合语义通信框架。
6. How to Constrain and Maintain a Lexicon for the Treatment of Progressive Semantic Naming Deficits: Principles of Item Selection for Formal Semantic Therapy [O] . Jamie Reilly -1

机译：如何限制和维护用于逐步进行语义命名不足的词汇：形式语义疗法的项目选择原则
7. On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language [O] . Bordini, R. H., Moreira, A. F., Vieira, R., 2011

机译：论语音通信语音通信的形式语义面向agent的编程语言

Formal communication semantics of SystemCFL

摘要

著录项

相似文献

相关主题

期刊订阅

Formal communication semantics of SystemC^FL