A Thread Algebra with Multi-level Strategic Interleaving

机译：具有多级策略交织的线程代数

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategies on thread vectors. The strategic interleaving of a thread vector constitutes a multi-thread. Several multi-threads may exist concurrently on a single host in a network, several host behaviors may exist concurrently in a single network on the internet, etc. Strategic interleaving is also present at these other levels. In the current paper, we extend the theory developed so far with features to cover multi-level strategic interleaving.

机译：在先前的论文中，我们基于策略交织开发了线程和多线程的代数理论。该理论包括关于线程向量的许多合理的交织策略。线程向量的策略性交织构成多线程。多个多线程可能同时存在于网络中的单个主机上，几个主机行为可能同时存在于Internet上的单个网络中，等等。在这些其他级别上也存在策略性交织。在当前的论文中，我们扩展了到目前为止开发的理论，其功能涵盖了多层战略交织。

著录项

来源
《Conference on Computability in Europe(CiE 2005); 20050608-12; Amsterdam(NL)》|2005年|P.35-48|共14页
会议地点 Amsterdam(NL)
作者
Jan A. Bergstra; C.A. (Kees) Middelburg;
展开▼
作者单位

Programming Research Group, University of Amsterdam, P.O. Box 41882, 1009 DB Amsterdam, the Netherlands;

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

相似文献

外文文献
中文文献
专利

1. A Thread Algebra with Multi-Level Strategic Interleaving [J] . J. A. Bergstra, C. A. Middelburg Theory of computing systems . 2007,第1期

机译：具有多级战略交织的线程代数
2. Thread algebra for strategic interleaving [J] . J. A. Bergstra, C. A. Middelburg Formal Aspects of Computing . 2007,第4期

机译：战略交织的线程代数
3. Thread Algebra with Multi-Level Strategies [J] . J. A. Bergstra, C. A. Middelburg Fundamenta Informaticae . 2006,第2a3期

机译：具有多级策略的线程代数
4. A Thread Algebra with Multi-level Strategic Interleaving [C] . Jan A. Bergstra, C.A. (Kees) Middelburg Conference on Computability in Europe . 2005

机译：带有多级战略交织的线程代数
5. An artificial neural network for multi-level interleaved and creative serial order cognitive behavior. [D] . Donaldson, Steven Frank. 2001

机译：人工神经网络，用于多层交织和创造性的序列认知行为。
6. Efficient methods for implementation of multi-level nonrigid mass-preserving image registration on GPUs and multi-threaded CPUs [O] . Nathan D. Ellingwood, Youbing Yin, Matthew Smith, -1

机译：在GPU和多线程CPU上实现多级非刚性批量保存图像注册的有效方法
7. A Thread Algebra with Multi-Level Strategic Interleaving [O] . J.A. Bergstra, C.A. Middelburg 2007

机译：具有多级战略交织的线程代数
8. Graph Isomorphism Models for Non Interleaving Process Algebra [R] . Baeten, J. C. M., Bergstra, J. A. 1994

机译：非交织过程代数的图同构模型

A Thread Algebra with Multi-level Strategic Interleaving

摘要

著录项

相似文献

相关主题

期刊订阅