Reduction in TLA

机译：减少TLA

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

Reduction theorems allow one to deduce properties of a ocncurrent system specificaiton from properties of a simpler,coarser-grained versin called the reduced specification.We present reduction theoremes based upon a more precise relation between the original and reduced specifications than earlier ones,permitting the use of reduction to reaon about a larger class of propeties.In particular,we present reducigon theorems that handle general liveness properties.

机译：归约定理允许人们从称为简化规范的更简单，更粗粒度的函数推导一个并发系统规范的属性。我们提出的归约定理是基于原始规范和简化规范之间比较早规范更精确的关系，这允许使用特别是，我们提出了处理一般活泼特性的归约定理。

著录项

来源
《Concurrency theory》|1998年|p.317-331|共15页
会议地点 Nice(FR);Nice(FR)
作者
Ernie Cohen; Leslie Lamport;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Larva fish assemblage structure in three-dimensional floating wetlands and non-floating wetlands in the Changjiang River estuary [J] . Xiaofeng HUANG, Feng ZHAO, Chao SONG, 中国海洋湖沼学报（英文版） . 2021,第002期
2. Exploring relationships between conservation and poverty reduction in wetland ecosystems: lessons from 10 integrated wetland conservation and poverty reduction initiatives [J] . Sellamuttu Sonali Senaratna, de Silva Sanjiv, Nguyen-Khoa Sophie . The International Journal of Sustainable Development and World Ecology . 2011,第4期

机译：探索湿地生态系统中保护与减贫之间的关系：10个综合性湿地保护与减贫举措的经验教训
3. Bone Grafting of Atlantoaxial Joints and Occipitocervical or Atlantoaxial Fusion for the Reduction and Fixation of Basilar Invagination with Atlantoaxial Dislocation by a Posterior Approach: A Preliminary Study [J] . He Xin, Meng Yibin, Zhang Jianan, World neurosurgery . 2017,第期

机译：骨覆盖和枕脑膜接触和寰枢膜融合的骨嫁接，对初探与寰枢壁脱位的底座和固定的骨质膨胀融合：初步研究
4. Treatment of basilar invagination with atlantoaxial dislocation: Atlantoaxial joint distraction and fixation with transoral atlantoaxial reduction plate (TARP) without odontoidectomy [J] . XiaH., YinQ., AiF., European spine journal: official publication of the European Spine Society, the European Spinal Deformity Society, and the European Section of the Cervical Spine Research Society . 2014,第8期

机译：寰枢椎脱位的基底内陷治疗：经口腔寰枢椎复位钢板（TARP）固定寰枢关节并固定，无需进行齿状突切除术
5. Single-stage reduction and fixation for atlantoaxial dislocation with atlas assimilation applying occipital plate, C2 screws and rigid cantilever beam system through intraoperative distraction: A retrospective study of 25 cases [C] . Zhonghua Li, Xuesong Han, Xiaolei Li, International Conference on Biotechnology and Bioengineering . 2018

机译：寰脉同化施用枕骨脱位，C2螺钉和刚性悬臂系统通过术中分心的单级减速和固定 - 一种术语 - 回顾性研究25例
6. Flood Mitigation and Nutrient Reduction Benefits of Flood Control Wetlands [D] . Knudson, Ashley J. 2021

机译：防洪湿地洪水缓解与养分减少益处
7. Surgical treatment for basilar invagination with irreducible atlantoaxial dislocation: transoral atlantoaxial reduction plate fixation vs occipitocervical fixation [O] . Xiaobao Zou, Bieping Ouyang, Haozhi Yang, 2020

机译：肛门内含性寰枢椎脱位的外科治疗：传感器寰枢轴减少板固定与枕闭
8. Anterior Reduction and C1-ring Osteosynthesis With Jefferson-fracture Reduction Plate (JeRP) via Transoral Approach for Unstable Atlas Fractures [O] . Qiang Tu, Hu Chen, Zhan Li, 2021

机译：通过传输方法对不稳定的阿特拉斯裂缝进行杰斐逊 - 断裂板（JERP）的前缩和C1环骨合成
9. Guide to the Atlantic Large Whale Take Reduction Plan: An Evolving Plan to Reduce the Risk to North Atlantic Large Whales (Right, Humpback and Fin) Posed by Commercial Trap/Pot and Gillnet Fishing Gear in the U.S. Atlantic Ocean. [R] . Higgins, J., Salvador, G. 2010

机译：大西洋鲸鱼减少计划指南：减少北大西洋大鲸鱼（右，驼背和鳍）风险的演变计划由美国大西洋的商业陷阱/盆栽和刺网渔具构成。

Reduction in TLA

摘要

著录项

相似文献

相关主题

期刊订阅