Logic of Global Synchrony

机译：全局同步逻辑

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

An intermediate-level specification notation, LOGS, is presented for PRAM/BSP-style programming. It extends pre-post style semantics to reveal state at points of global synchronization before termination (if that occurs). The result is an integration of the pre-post, finite and reactive-process styles of specification and in particular an extension of standard BSP. The language is provided with a complete set of laws, formulated to benefit from a simple predicative semantics and to be quite close to programming intuition. The language is compositional, and parallel composition is simply logical conjunction. Use of Logs, and of the laws for reasoning about it, is demonstrated on the problem of the dining philosophers.

机译：提出了用于PRAM / BSP样式编程的中间级别规范标记LOGS。它扩展了发布前样式的语义，以在终止之前（如果发生）在全局同步点揭示状态。结果是规范的事前，有限和反应过程风格的集成，尤其是标准BSP的扩展。该语言提供了一套完整的法律，旨在从简单的谓语语义中受益并非常接近于编程的直觉。语言是组合的，而并行组合只是逻辑上的合取。在用餐哲学家的问题上，证明了原木的使用以及由此进行推理的法律。

著录项

来源
《12th International Conference on CONCUR 2001 - Concurrency Theory, 12th, Aug 20-25, 2001, Aalborg, Denmark》|2001年|p.487-501|共15页
会议地点 Aalborg(DK);Aalborg(DK)
作者
Yifeng Chen; J.W. Sanders;
展开▼
作者单位

Department of Mathematics and Computer Science, University of Leicester, University Road, Leicester LEI 7RH, UK;

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

相似文献

外文文献
中文文献
专利

1. Logic of Global Synchrony [J] . YIFENG CHEN, J. W. SANDERS ACM Transactions on Programming Languages and Systems . 2004,第2期

机译：全局同步逻辑
2. Synchrony of globally invasive Aedes spp. immature mosquitoes along an urban altitudinal gradient in their native range [J] . Luis Fernando Chaves, Mariel D. Friberg, Kazuhiko Moji The Science of the Total Environment . 2020,第Sepa10期

机译：全球侵入性AEDES SPP的同步。沿着城市海拔梯度的未成熟蚊子在他们的本土范围内
3. Globally attracting synchrony in a network of oscillators with all-to-all inhibitory pulse coupling [J] . Carmen C. Canavier, Ruben A. Tikidji-Hamburyan PHYSICAL REVIEW E . 2017,第3a4CD期

机译：全球吸引振荡器网络中的同步，全面抑制脉冲耦合
4. Logic of Global Synchrony [C] . Yifeng Chen, J. W. Sanders International Conference on Concurrency Theory . 2001

机译：全球同步逻辑
5. Theta and gamma coherence: Measuring changes in global and local synchrony within the hippocampal formation [D] . Sabolek, Helen R. 2006

机译：θ和伽马连贯性：测量海马结构中全局和局部同步性的变化
6. Globally Attracting Synchrony in a Network of Oscillators with All-to-All Inhibitory Pulse Coupling [O] . Carmen C Canavier, Ruben A Tikidji-Hamburyan -1

机译：具有全部抑制脉冲耦合的振荡器网络中的全球吸引同步性
7. The Logic of “Mutual Transmission” in Huayan and Zen Buddhist Philosophy – Toward the Logic of Co-existence in a Globalized World [O] . Hisaki HASHI 2016

机译：华严与禅宗哲学中的“相互传承”逻辑 - 走向全球化世界共存的逻辑

Logic of Global Synchrony

摘要

著录项

相似文献

相关主题

期刊订阅