• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Formal techniques for distributed systems >Forgetting the Time in Timed Process Algebra Timeless Behaviour in a Timestamped World
【24h】

Forgetting the Time in Timed Process Algebra Timeless Behaviour in a Timestamped World

机译：在带时间戳的世界中忘记定时进程代数中的永恒行为

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this paper, we propose the notion of partial time abstraction for timed process algebras, which introduces the possibility to abstract away parts of the timing of system behaviour. Adding this notion leads to so-called partially timed process algebras and partially timed labelled transition systems. We describe these notions, and generalise timed branching bisimilarity to partially timed branching bisimilarity, allowing the comparison of systems with partial timing. Finally, with several examples and a case study, we demonstrate how partial time abstraction can be a useful modelling technique for timed models, which can lead to rigorous minimisations of state spaces.
机译：在本文中，我们提出了定时过程代数的部分时间抽象的概念，该概念引入了抽象出系统行为定时部分的可能性。添加这个概念会导致所谓的部分定时过程代数和部分定时标记的过渡系统。我们描述了这些概念，并将定时分支双相似性推广到部分定时分支双相似性，从而允许对具有部分定时的系统进行比较。最后，通过几个示例和一个案例研究，我们演示了部分时间抽象如何成为计时模型的有用建模技术，它可以导致状态空间的严格最小化。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号