首页> 外文OA文献 >Fully Abstract Denotational Models for Nonuniform Concurrent Languages

【2h】

Fully Abstract Denotational Models for Nonuniform Concurrent Languages

机译：非均匀并发语言的完全抽象指称模型

代理获取

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

页面导航

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

著录项

作者
Horita E.; Debakker J.W.; Rutten J.J.M.M.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. An Introduction to metric semantics: operational and denotational models for programming and specification languages [J] . van Breugel F. Theoretical computer science . 2001,第1a2期

机译：度量语义简介：用于编程和规范语言的操作模型和指称模型
2. A fully abstract denotational model for observational precongruence [J] . Ingolfsdottir A., Schalk A. Theoretical computer science . 2001,第1a2期

机译：观测前一致性的完全抽象的指称模型
3. Synchronization of abstract and concrete syntax in domain-specific modeling languages: By mapping models and live transformations [J] . Istvan Rath, Andras OEkroes, Daniel Varro Software and systems modeling . 2010,第4期

机译：特定领域建模语言中抽象语法和具体语法的同步：通过映射模型和实时转换
4. Semantic analysis of shared-memory concurrent languages using abstract model-checking [C] . Regis Cridlig . 1995

机译：使用抽象模型检查对共享内存并发语言进行语义分析
5. An abstract operational model for a functional-logic programming language. [D] . Takahashi, Silvia. 1994

机译：功能逻辑编程语言的抽象操作模型。
6. Development of NeuroML version 2.0: greater extensibility support for abstract neuronal models and interaction with Systems Biology languages [O] . Padraig Gleeson, Sharon Crook, Angus Silver, 2011

机译：NeuroML 2.0版的开发：更大的可扩展性对抽象神经元模型的支持以及与系统生物学语言的交互
7. On the asynchronous nature of communication in concurrent logic languages: A fully abstract model based on sequences [O] . Frank S. de Boer, Catuscia Palamidessi 1990

机译：关于并发逻辑语言通信的异步性质：基于序列的全抽象模型
8. Fully Abstract Denotational Models for Nonuniform Concurrent Languages [R] . Horita, E., Debakker, J. W., Rutten, J. J. M. M. 1990

机译：非均匀同时语言的全抽象指称模型

Fully Abstract Denotational Models for Nonuniform Concurrent Languages

著录项

引文网络

相似文献

相关主题

期刊订阅