首页> 外文期刊>The Journal of logic and algebraic programming >A unified rule format for bounded nondeterminism in SOS with terms as labels
【24h】

A unified rule format for bounded nondeterminism in SOS with terms as labels

机译:带有术语作为标签的SOS中有界不确定性的统一规则格式

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

摘要

We present a unified rule format for structural operational semantics with terms as labels that guarantees that the associated labelled transition system has some bounded-nondeterminism property. The properties we consider include finite branching, initials finiteness and image finiteness. (C) 2017 Elsevier Inc. All rights reserved.
机译:我们为结构操作语义提供了统一的规则格式,并以术语作为标签,以确保相关的带标签的过渡系统具有一定的无界属性。我们考虑的属性包括有限分支,初始有限度和图像有限度。 (C)2017 Elsevier Inc.保留所有权利。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利