• 主题
高级搜索  >
历史搜索 清空历史
首页> 美国政府科技报告 >Basic Theorems for Parallel Processes in Timed (Mu)CRL; Software engineering rept
【24h】

Basic Theorems for Parallel Processes in Timed (Mu)CRL; Software engineering rept

机译：定时（mu）CRL中并行过程的基本定理;软件工程部

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Timed (Mu)CRL is a process algebra-based formalism for the specification and verification of parallel, communicating systems with explicit time. In this paper various basic results are derived, such as theorems for 'basic forms', the expansion of terms with operators for parallelism, elimination of parallelism, and commutativity and associativity of the merge and communication merge (the operators (two vertical lines) and (vertical line)). The interpretation of the operators, in particular the left merge, is far from trivial, and more in general, it has to be stated that working with a time-based formalism such as time (Mu)CRL can be fairly complicated. Therefore we pay a lot of attention to all kinds of proof details that could enhance the understanding, and thus facilitate the use of the formalism. Many basic dilemmas are included, and examples are used to illustrate the intuition behind the various results.

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号