首页> 美国政府科技报告 >Abstraction as a Unifying Link for Formal Approaches to Concurrency.

【24h】

Abstraction as a Unifying Link for Formal Approaches to Concurrency.

机译：抽象作为正式的并发方法的统一链接。

获取原文

页面导航

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

摘要

ion as a Unifying Link for Formal Approaches to Concurrency.- National Technical Reports Library V3.0 Abstraction as a Unifying Link for Formal Approaches to Concurrency. « Back to Search Results

著录项

作者
Jones, C. B.;
展开▼
作者单位

展开▼
年度 2012
页码 1-18
总页数 18
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Concurrency; Formal methods; Computer systems programs; Computer logic; Computer software; Design; Linearisability; Reasoning; Foreign technology; Atomic refinement;

机译：并发;形式化方法;计算机系统程序;计算机逻辑;计算机软件;设计;线性化;推理;国外技术;原子精化;

相似文献

外文文献
中文文献
专利

1. One Step Forward: Linking Wireless Self-Organizing Network Validation Techniques with Formal Testing Approaches [J] . ALINE CARNEIRO VIANA, STEPHANE MAAG, FATIHA ZAIDI ACM Computing Surveys . 2011,第2期

机译：迈出的一步：将无线自组织网络验证技术与正式测试方法联系起来
2. Synergy between Formal and Non-formal Learning Approaches in Teaching at University [J] . Vesela Mareva BRAIN. Broad Research in Artificial Intelligence and Neurosciences . 2018,第1期

机译：大学教学中正式学习与非正式学习方法的协同作用
3. Reductions and abstractions for formal verification of distributed round-based algorithms [J] . Barbosa Raul, Fonseca Alcides, Araujo Filipe Software Quality Journal . 2021,第3期

机译：减少和抽象进行分布式圆形算法正式验证
4. Abstraction as a Unifying Link for Formal Approaches to Concurrency [C] . Cliff B.Jones International conference on software engineering and formal methods . 2012

机译：抽象是形式化并发方法的统一链接
5. A unified validation framework for VLSI circuits using formal and abstraction techniques. [D] . Moundanos, Konstantinos. 1998

机译：使用形式化和抽象技术的VLSI电路的统一验证框架。
6. A unified software framework for deriving visualizing and exploring abstraction networks for ontologies [O] . Christopher Ochs, James Geller, Yehoshua Perl, -1

机译：用于派生可视化和探索本体抽象网络的统一软件框架
7. Integrating Formal Methods by Unifying Abstractions [O] . Raymond Boute 2004

机译：通过统一抽象来整合正式方法
8. Computing Science: Balancing Expessiveness in Formal Approaches to Concurrency. [R] . Jones, C. B. 2013

机译：计算科学：在并发的正式方法中平衡执行。

Abstraction as a Unifying Link for Formal Approaches to Concurrency.

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅