Structural operational semantics and bounded nondeterminism

Wan Fokkink; Thuy Duong Vu

首页> 外文期刊>Environmental Modelling & Software >Structural operational semantics and bounded nondeterminism

【24h】

Structural operational semantics and bounded nondeterminism

机译：结构化操作语义和有界不确定性

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present a rule format for structural operational semantics to guarantee that the associated labelled transition system is bounded nonde-terministic.

机译：我们提出了一种结构操作语义的规则格式，以确保相关的带标签的过渡系统是有界的不确定性。

著录项

来源
《Environmental Modelling & Software》 |2003年第7期|p.501-516|共16页
作者
Wan Fokkink; Thuy Duong Vu;
展开▼
作者单位

CWI, Department of Software Engineering, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类计算机软件;
关键词

相似文献

外文文献
中文文献
专利

1. ON THE OPERATIONAL SEMANTICS OF NONDETERMINISM AND DIVERGENCE [J] . Erdogmus H., Ferguson M., Johnston R. Theoretical computer science . 1996,第2期

机译：论非确定性与分散性的操作语义
2. PUSHDOWN AUTOMATA WITH BOUNDED NONDETERMINISM AND BOUNDED AMBIGUITY [J] . Herzog C. Theoretical computer science . 1997,第1期

机译：具有不确定性和不确定性的自动推送
3. A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism [J] . Di Wang, Jan Hoffmann, Thomas Reps Electronic Notes in Theoretical Computer Science . 2019,第1期

机译：具有非确定性的低级概率程序的指称语义
4. Rule Formats for Bounded Nondeterminism in Structural Operational Semantics [C] . Luca Aceto, Alvaro Garcia-Perez, Anna Ingolfsdottir Semantics, logics, and calculi . 2016

机译：结构操作语义学中有界不确定性的规则格式
5. Operational semantics of hybrid systems. [D] . Zheng, Haiyang. 2007

机译：混合系统的操作语义。
6. Mind Operational Semantics and Brain Operational Architectonics: A Putative Correspondence [O] . Giulio Benedetti, Giorgio Marchetti, Alexander A Fingelkurts, 2010

机译：思维操作语义学与大脑操作建筑学：一种对应关系
7. Structural Operational Semantics and Bounded Nondeterminism [O] . Wan Fokkink, Thuy Duong Vu 2007

机译：结构操作语义学与有界不确定性
8. An Operational Semantics for Bonded Nondeterminism Equivalent to a Denotational One [R] . Kuiper, R. 1981

机译：债权非确定性的操作语义等效于指称式

Structural operational semantics and bounded nondeterminism

摘要

著录项

相似文献

相关主题

期刊订阅