DocumentCode
2185095
Title
TiMo: Timed Mobility in Distributed Systems
Author
Ciobanu, Gabriel
fYear
2013
fDate
23-26 Sept. 2013
Firstpage
5
Lastpage
10
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SYNASC.2013.8
Filename
6821123
Link To Document