TiMo: Timed Mobility in Distributed Systems

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing Pub Date : 2013-09-01 DOI:10.1109/SYNASC.2013.8

Gabriel Ciobanu

引用次数: 0

Abstract

A simple and expressive formalism called TiMo is presented as a simplified version of timed distributed pi-calculus. TiMo aims to bridge the gap between the existing theoretical approach of process calculi and forthcoming realistic languages for multi-agent systems.

查看原文本刊更多论文

TiMo:分布式系统中的定时移动性

TiMo是一种简单而富有表现力的形式，它是时间分布pi-calculus的简化版本。TiMo旨在弥合现有的过程演算理论方法与即将出现的多智能体系统实际语言之间的差距。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing

自引率

0.00%

发文量