Title :
TiMo: Timed Mobility in Distributed Systems
Author :
Ciobanu, Gabriel
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.
Keywords :
distributed algorithms; formal languages; multi-agent systems; pi calculus; TiMo; distributed systems; languages; multiagent systems; process calculi; timed distributed pi-calculus; timed mobility; Distributed systems; formal verification; local clocks; maximal parallelism; timed migration and communication;
Conference_Titel :
Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2013 15th International Symposium on
Conference_Location :
Timisoara
Print_ISBN :
978-1-4799-3035-7
DOI :
10.1109/SYNASC.2013.8
