The tau-laws of fusion

机译：融合的牛头定律

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

We present complete axiomatizations of weak hypercongrauence in the finite fragment of the fusioncalculus,an extension and simplificaiton of the #pi#-calculus.We treat both the full fusion calculus and the sub alculus without mismatch operaotrs.The axiomatizations are obtained from the laws for hyperequivalence and adding so called tau-laws.These are similar to the well known tau-laws for CCS and the #pi#-calculus,but there is an interesting differnece which highlights an aspect of the higher exp4ressive poser of the fusion calculus.

机译：我们在融合演算的有限片段中给出了弱超祝贺的完全公理化，＃pi＃演算的扩展和简化。我们对完全融合演算和子演算都进行了不匹配运算符的处理。公理化是根据这些都与CCS和＃pi＃演算中众所周知的tau律相似，但存在一个有趣的区别，突出了融合演算的较高示性构成者的一个方面。

著录项

来源
《Concurrency theory》|1998年|p.99-114|共16页
会议地点 Nice(FR);Nice(FR)
作者
Joachim Parrow; Bjorn Victor;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Symmetrical retrograde actin flow in the actin fusion structure is involved in osteoclast fusion Symmetrical retrograde actin flow in the actin fusion structure is involved in osteoclast fusion Symmetrical retrograde actin flow in the actin fusion structure is involved in osteoclast fusion [J] . Satoshi Inoue, Masanori Nakamura, Tsubasa Kawashima, Biology Open . 2017,第7期

机译：破骨细胞融合涉及肌动蛋白融合结构中的对称逆行肌动蛋白流动。破骨细胞融合涉及肌动蛋白融合结构中的对称逆行肌动蛋白流动。破骨细胞融合涉及肌动蛋白融合结构中的对称逆行肌动蛋白流。
2. Clinical and Radiological Comparison between Three Different Minimally Invasive Surgical Fusion Techniques for Single-Level Lumbar Isthmic and Degenerative Spondylolisthesis: Minimally Invasive Surgical Posterolateral Fusion versus Minimally Invasive Surgical Transforaminal Lumbar Interbody Fusion versus Midline Lumbar Fusion [J] . Mohamed Elmekaty, Yoshihisa Kotani, Emad El Mehy, Asian spine journal. . 2018,第5期

机译：三种不同的单级腰部缺血性和退行性滑脱合并微创手术融合技术的临床和放射学比较：微创手术后外侧融合与微创经孔椎间孔椎体间融合术与中线腰椎融合术
3. Full-length trimeric influenza virus hemagglutinin II membrane fusion protein and shorter constructs lacking the fusion peptide or transmembrane domain: Hyperthermostability of the full-length protein and the soluble ectodomain and fusion peptide make significant contributions to fusion of membrane vesicles [J] . Ratnayake Punsisi U., Ekanayaka E. A. Prabodha, Komanduru Sweta S., Protein Expression and Purification . 2016,第Null期

机译：全长三聚体流感病毒血凝素II膜融合蛋白和缺少融合肽或跨膜结构域的较短构建体：全长蛋白和可溶性胞外域和融合肽的超热稳定性为膜囊泡的融合做出了重要贡献
4. The tau-laws of fusion [C] . Joachim Parrow, Bjorn Victor International conference on concurrency theory . 1998

机译：陶氏定律融合
5. Fusion and Solar Plasmas: Synergistic Effects of Neutrons and Plasma on Materials in Fusion Reactors & Relaxation of Merging Magnetic Flux Ropes In Fusion and Solar Plasmas [D] . Hussain, Asad S. 2018

机译：聚变和太阳等离子体：中子和等离子体对聚变反应堆中材料的协同作用以及聚变和太阳等离子体中融合的磁通量线的松弛
6. The TFP Fusion Technique for Posterior 360° Lumbar Fusion: a Combination of Open Decompression Transforaminal Lumbar Interbody Fusion and Facet Fusion with Percutaneous Pedicle Screw Fixation [O] . Prashanth J Rao, Ralph J Mobbs 2014

机译：后路360°腰椎融合的 TFP融合技术：开放减压经椎间孔腰椎椎体间融合以及经皮椎弓根螺钉固定的小平面融合
7. Midline Lumbar Fusion for Patients with Adjacent Segmental Disease after Posterior Lumbar Interbody Fusion: A Comparative Study between Midline Lumbar Fusion and Posterior Lumbar Interbody Fusion [O] . Geon woo Oh, Sang Hyun Kim 2017

机译：后腰椎椎体间融合后邻近节段病患者中线腰椎融合：中线腰椎融合与后腰椎椎体融合的比较研究

The tau-laws of fusion

摘要

著录项

相似文献

相关主题

期刊订阅