【24h】

Process Traces with the Option Operation

机译:使用选项操作进行过程跟踪

获取原文
获取原文并翻译 | 示例

摘要

We introduced process traces (ptraces) as a modification of Mazurkiewicz's theory of traces. We showed that ptraces and their corresponding P-expressions more adequately describe concurrent processes. In this paper, we introduce an extension to P-expressions by adding an Option operation. We show the applications as well as the properties of the new operation. We also show that adding the new operation makes P-expressions more powerful and more convenient to describe concurrent systems faithfully.
机译:我们引入了过程跟踪(ptrace),作为对Mazurkiewicz跟踪理论的修改。我们表明,ptrace及其相应的P表达更充分地描述了并发过程。在本文中,我们通过添加Option操作来介绍P表达式的扩展。我们显示了应用程序以及新操作的属性。我们还表明,添加新操作会使P表达式更强大,并且更能忠实地描述并发系统。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号