Processes and the denotational semantics of concurrency

机译：流程和并发的指称语义

代理获取

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

页面导航

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

著录项

作者
de Bakker J.W.; Zucker J.I.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Denotational fixed-point semantics for constructive scheduling of synchronous concurrency [J] . Aguado Joaquin, Mendler Michael, von Hanxleden Reinhard, Acta Informatica . 2015,第4a5期

机译：用于同步并发的构造性调度的指称定点语义
2. Processes as formal power series: a coinductive approach to denotational semantics [J] . Michele Boreale, Fabio Gadducci Theoretical computer science . 2006,第1a3期

机译：作为形式幂级数的过程：指称语义的共归方法
3. Event-Based Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with Action Refinement [J] . Xiu-Li Sun, Wen-Yin Zhang, Jin-Zhao Wu 计算机科学技术学报（英文版） . 2004,第006期

机译：基于事件的操作语义和具有动作细化的实时并发过程的一致性结果
4. A Methodology for Concurrent Languages Development Based on Denotational Semantics [C] . Ciobanu Gabriel, Todoran Eneia Nicolae 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2009) . 2009

机译：基于指称语义的并发语言开发方法
5. The Smythe completion: A common topological foundation for denotational semantics and complexity analysis. [D] . Schellekens, Michel. 1995

机译：Smythe完成：用于指称语义和复杂性分析的通用拓扑基础。
6. The Effect of Concurrent Semantic Categorization on Delayed Serial Recall [O] . Daniel J. Acheson, Maryellen C. MacDonald, Bradley R. Postle -1

机译：并发语义分类对延迟串行召回的影响
7. A Denotational Semantics Methodology (DSM) Approach for Business Processes Modeling [O] . Roger Atsa Etoundi, Fouda Ndjodo, Ghislain Abessolo Alo’o 2011

机译：用于业务流程建模的指称语义学方法（DSM）方法
8. Processes and the Denotational Semantics of Concurrency [R] . Debakker, J. W., Zucker, J. I. 1982

机译：进程和并发的指称语义

Processes and the denotational semantics of concurrency

著录项

引文网络

相似文献

相关主题

期刊订阅