首页> 外文OA文献 >Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets

【2h】

Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets

机译：通过表示语义和高级Petri网的组合，帕斯卡语义

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Kurt Jensen; Erik Meineche Schmidt;
展开▼
作者单位

展开▼
年度 1985
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Parametric fault tree for the dependability analysis of redundant systems and its high-level Petri net semantics [J] . Bobbio A., Franceschinis G., Gaeta R., IEEE Transactions on Software Engineering . 2003,第3期

机译：用于冗余系统可靠性分析的参数故障树及其高级Petri网语义
2. Compositional high-level Petri net semantics of a parallel programming language with procedures [J] . Hanna Klaudel Science of Computer Programming . 2001,第3期

机译：具有过程的并行编程语言的组合高级Petri网语义
3. A high-level Petri net for goal-directed semantics of Horn clause logic [J] . Jeffrey J., Lobo J. IEEE Transactions on Knowledge and Data Engineering . 1996,第2期

机译：Horn子句逻辑的目标导向语义的高级Petri网
4. Formal Aspects for Semantic Service Modeling Based on High-Level Petri Nets [C] . Kohler, M., Ortmann, . 2005

机译：基于高级Petri网的语义服务建模的形式方面
5. High-level Petri net semantics of concurrent and non-concurrent logic programs. [D] . Jeffrey, John Michael. 1993

机译：并发和非并发逻辑程序的高级Petri网语义。
6. Using a combination of fMRI and anterior temporal lobe rTMS to measure intrinsic and induced activation changes across the semantic cognition network [O] . Richard J. Binney, Matthew A. Lambon Ralph -1

机译：使用功能磁共振成像和前颞叶rTMS的组合来测量整个语义认知网络内在和诱发的激活变化
7. M-nets: an Algebra of High-level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages [O] . Eike Best, Wojciech Fraczak, Richard P. Hopkins, 2007

机译：M-net：高级陪替氏网的代数，在并行编程语言语义中的应用
8. Denotational Semantics of Nets with Nondeterminism [R] . Kok, J. N. 1986

机译：具有非确定性的网络的指称语义

Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets

著录项

引文网络

相似文献

相关主题

期刊订阅