Streaming Transfer of Mobile Programs in First Order Linear Logic

机译：一阶线性逻辑中移动程序的流传输

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

This paper presents a formal model of distributed systems based on multiset rewriting with streaming transfer of program modules. It models computations transferring mobile codes on wide area network in asynchronous manner. The model presented here is based on linear logic. Messages, processes and program codes are represented as logical formulas. The operational semantics is based on a subsystem of the sequent calculus for linear logic. Communications such as message passing, process migrations and code passing are represented as first order communications using inferences on the sequent calculus. The streaming communication of program module is also represented as inferences on the sequent calculus just with extra assumptions that can be assumed naturally.

机译：本文提出了一种基于多集重写和程序模块流传输的分布式系统的形式化模型。它对以异步方式在广域网上传输移动代码的计算进行建模。这里介绍的模型基于线性逻辑。消息，过程和程序代码表示为逻辑公式。操作语义基于用于线性逻辑的顺序演算的子系统。诸如消息传递，过程迁移和代码传递之类的通信使用对后续演算的推论表示为一阶通信。程序模块的流式通信也被表示为对后续演算的推论，只是带有可以自然假设的额外假设。

著录项

来源
《International Conference on Cybernetics and Information Technologies, Systems and Applications(CITSA2004) and 10th International Conference on Information Systems Analysis and Synthesis(ISAS2004) vol.1》|2004年|P.275-280|共6页
会议地点 OrlandoFL(US)
作者
Masaki Murakami;
展开▼
作者单位

Department of Information Technology, Okayama University 3-1-1 Tsushima-Naka, Okayama, 700-0082, Japan;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类通信;
关键词
theory of concurrency; linear logic; module passing; distributed system; streaming;

机译：并发理论；线性逻辑；模块传递；分布式系统；流;

相似文献

外文文献
中文文献
专利

1. Abductive logic programming and disjunctive logic programming: their relationship and transferability [J] . Sakama C., Inoue K. The Journal of Logic Programming . 2000,第1a3期

机译：归纳逻辑编程和析取逻辑编程：它们的关系和可传递性
2. Linearity Constraints as Bounded Intervals in Linear Logic Programming [J] . JEFF POLAKOW Journal of logic and computation . 2006,第1期

机译：线性约束中线性约束作为有界区间
3. Design and Implementation of a Concurrent Logic Programming Language with Linear Logic Constraints [J] . Thierry Martinez LIPIcs : Leibniz International Proceedings in Informatics . 2010,第1期

机译：具有线性逻辑约束的并行逻辑编程语言的设计与实现
4. Streaming Transfer of Mobile Programs in First Order Linear Logic [C] . Masaki Murakami International Conference on Cybernetics and Information Technologies, Systems and Applications(CITSA2004) and 10th International Conference on Information Systems Analysis and Synthesis(ISAS2004) vol.1 . 2004

机译：一阶线性逻辑中移动程序的流传输
5. Linear logic and imperative programming. [D] . Jia, Limin. 2008

机译：线性逻辑和命令式编程。
6. Robust ... formula ...-Fuzzy Logic Control for Enhanced Tracking Performance of a Wheeled Mobile Robot in the Presence of Uncertain Nonlinear Perturbations [O] . Nur Syazreen Ahmad 2020

机译：强大的...... - 在不确定非线性扰动存在下用于增强轮式移动机器人的跟踪性能的模糊逻辑控制
7. Abductive logic programming and disjunctive logic programming: their relationship and transferability [O] . Sakama Chiaki, Inoue Katsumi 2000

机译：归纳逻辑编程和析取逻辑编程：它们的关系和可传递性

Streaming Transfer of Mobile Programs in First Order Linear Logic

摘要

著录项

相似文献

相关主题

期刊订阅