首页> 外文OA文献 >A Domain for Concurrent Semantics of Mobile Processes(Concurrency Theory and Applications '96)

【2h】

A Domain for Concurrent Semantics of Mobile Processes(Concurrency Theory and Applications '96)

机译：移动过程的并发语义域（并发理论与应用'96）

页面导航

著录项
相似文献
相关主题

著录项

作者
Murakami Masaki;
展开▼
作者单位

展开▼
年度 1997
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Event-Based Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with Action Refinement [J] . Xiu-Li Sun, Wen-Yin Zhang, Jin-Zhao Wu 计算机科学技术学报（英文版） . 2004,第006期

机译：基于事件的操作语义和具有动作细化的实时并发过程的一致性结果
2. A discrete-time UML semantics for concurrency and communication in safety-critical applications [J] . Werner Damm, Bernhard Josko, Amir Pnueli, Science of Computer Programming . 2005,第1a3期

机译：用于安全关键型应用程序中并发和通信的离散时间UML语义
3. Minimality and separation results on asynchronous mobile processes - representability theorems by concurrent combinators [J] . Nobuko Yoshida Theoretical computer science . 2002,第1a2期

机译：异步移动进程的最小化和分离结果-并发组合器的可表示性定理
4. A theory of recursive domains with applications to concurrency [C] . Cattani, G.L., Fiore, . 1998

机译：递归域理论及其在并发中的应用
5. A concurrent object coordination language: Semantics and applications. [D] . O'Connell, Gordon Wayne. 2005

机译：并发对象协调语言：语义和应用程序。
6. A Multidomain Approach to Assessing the Convergent and Concurrent Validity of a Mobile Application When Compared to Conventional Methods of Determining Body Composition [O] . Eric V. Neufeld, Ryan A. Seltzer, Tasnim Sazzad, 2020

机译：与常规确定身体组成的传统方法相比多域方法评估移动应用程序的收敛和并发有效性
7. GRAPH TYPES FOR MONADIC MOBILE PROCESSES(Concurrency Theory and Applications '96) [O] . YOSHIDA NOBUKO 1997

机译：MONADIC移动过程的图形类型（并发理论和应用'96）
8. Processes and the Denotational Semantics of Concurrency [R] . Debakker, J. W., Zucker, J. I. 1982

机译：进程和并发的指称语义

A Domain for Concurrent Semantics of Mobile Processes(Concurrency Theory and Applications '96)

著录项

相似文献

相关主题

期刊订阅