Process Algebra Approach to Reasoning About Concurrent Actions

Yuan Feng; Ming-Sheng Ying

首页> 外文期刊>Journal of Computer Science & Technology >Process Algebra Approach to Reasoning About Concurrent Actions

【24h】

Process Algebra Approach to Reasoning About Concurrent Actions

机译：并发动作推理的过程代数方法

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

页面导航

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

摘要

A reasonable transition rule is proposed for synchronized actions and some equational properties of bisimilarity and weak bisimilarity in the process algebra for reasoning about concurrent actions are presented.

机译：为同步动作提出了一个合理的过渡规则，并给出了过程代数中双相似性和弱双相似性的一些等式性质，以对并行动作进行推理。

著录项

来源
《Journal of Computer Science & Technology》 |2004年第3期|p.364-373|共10页
作者
Yuan Feng; Ming-Sheng Ying;
展开▼
作者单位

State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology Tsinghua University, Beijing 100084, P.R. China;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
process; global store; constraint set; bisimulation;

机译：过程;全局存储;约束集;双仿真;
入库时间 2022-08-17 23:45:30

相似文献

外文文献
中文文献
专利

1. Process Algebra Approach to Reasoning About Concurrent Actions [J] . Yuan Feng, Ming-Sheng Ying 计算机科学技术学报（英文版） . 2004,第003期

机译：并发动作推理的过程代数方法
2. Design of steady-state behavior of concurrent repetitive processes: an algebraic approach [J] . Zaremba M.B., Jedrzejek K.J. IEEE transactions on systems, man, and cybernetics. Part A . 1998,第2期

机译：并发重复过程的稳态行为设计：一种代数方法
3. A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency [J] . Hayes Ian J., Meinicke Larissa A., Winter Kirsten, Formal Aspects of Computing . 2019,第2期

机译：同步程序代数：关于共享内存和基于事件的并发推理的基础
4. Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach [C] . Giuseppe De Giacomo, Xiao Jun Chen National conference on artificial intelligence;AAAI-96;Innovative applications of artificial intelligence conference;IAAI-96 . 1996

机译：非确定性和并行动作的推理：过程代数方法
5. The relational algebra toolkit: A user-friendly approach to presenting and processing relational algebra queries on the web. [D] . Miller, Jeremy J. 2013

机译：关系代数工具包：一种用户友好的方法，用于在网络上呈现和处理关系代数查询。
6. An analysis of clinical reasoning through a recent and comprehensive approach: the dual-process theory [O] . Thierry Pelaccia, Jacques Tardif, Emmanuel Triby, 2011

机译：通过最新的综合方法对临床推理进行分析：双过程理论
7. Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach [O] . 2015

机译：关于不确定性和并发行为的推理：一种过程代数方法

Process Algebra Approach to Reasoning About Concurrent Actions

摘要

著录项

相似文献

相关主题

期刊订阅