进程代数——Concurrency

最新推荐文章于 2021-01-17 15:27:24 发布

笨鸟吼吼飞

最新推荐文章于 2021-01-17 15:27:24 发布

阅读量798

点赞数 1

分类专栏：上课 # 进程代数

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/qq_41209114/article/details/109619671

版权

本文深入探讨了进程代数中的并发概念，包括并发操作符的性质和定律，例如交换律和结合律。通过举例说明并发可能导致的死锁问题，如哲学家问题，并提出解决方案。此外，还讨论了如何通过改变符号来定义相似行为的进程组，以及过程标记的重要性和应用。

摘要由CSDN通过智能技术生成

Concurrency

将操作符||推广到当进程P与进程Q的alphabets不相同时；

当P与Q并发进行时，若 $e \in \alpha P \wedge \alpha Q$ ，则需要P与Q的共同参与；若 $e \in \alpha P \wedge e \notin \alpha Q$ ，则只要P参与这些事件，这些事件就可能独立于Q而发生；反之亦然；

Exmaples

Laws

1、||满足交换律和结合律

2.P||STOP $\alpha P$ = STOP $\alpha P$

3.P||RUN $\alpha P$ = P

最低0.47元/天解锁文章

笨鸟吼吼飞

关注

1
点赞
踩
2

收藏

觉得还不错? 一键收藏
0
评论
进程代数——Concurrency

将操作符||推广到当进程P与进程Q的alphabets不相同时；当P与Q并发进行时，若，则需要P与Q的共同参与；若，则只要P参与这些事件，这些事件就可能独立于Q而发生；反之亦然；ExmaplesLaws1、||满足交换律和结合律2.P||STOP=STOP3.P||RUN= PL4A (c→P)||(c→Q)=c→(P||Q) ：若prefix都为c，那么首先执行c，然后P与Q并发进行；L4B (c→P)||(d→Q)=STOP if c≠d ：公共事件...
复制链接

扫一扫

专栏目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。