• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议> >A Denotational Semantics for Timed Linda
【24h】

A Denotational Semantics for Timed Linda

机译：定时琳达的指称语义

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

摘要

In we introduced a Timed Linda language (T-Linda) which was obtained by a natural timed interpretation of the usual constructs of the Linda model and by including a simple primitive for specifying time-outs. Here we define a denotationsl model for T-Linda which is based on timed reactive sequences. The correctness of this model is proved w.r.t a notion of observables which include finite traces of actions and input/output pairs.
机译：在本文中，我们介绍了一种定时Linda语言（T-Linda），该语言是通过对Linda模型的通常构造的自然定时解释并包括一个用于指定超时的简单原语而获得的。在这里，我们为T-Linda定义了一个基于定时反应序列的Denotationsl模型。证明了该模型的正确性是没有观察到的概念，其中包括动作和输入/输出对的有限轨迹。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号