A distributed implementation of mobile nets as mobile agents

被引：0
|
作者：
Busi, N [1 ]
Padovani, L [1 ]
机构：
[1] Univ Bologna, Dept Comp Sci, I-40127 Bologna, Italy
来源：
FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS | 2005年 / 3535卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Mobile nets arise as a combination of the name managing techniques of the pi-calculus with the representation of concurrency and locality of Petri nets. We propose MAGNETs, a variant of mobile nets that are suitable for an effective, distributed implementation. Such implementation extends an implementation of the Join calculus virtual machine with dynamic reconfiguration features.
引用
收藏
页码：259 / 274
页数：16
相关论文
共 50 条
  • [41] Mobile Agents for Distributed and Heterogeneous Information Retrieval
    Subrata Das
    Kurt Shuster
    Curt Wu
    Igor Levit
    [J]. Information Retrieval, 2005, 8 : 383 - 416
  • [42] Modeling Fault Tolerated Mobile Agents by Colored Petri Nets
    Zhang, Shao-zhen
    Ding, Zuo-hua
    Hu, Jue-liang
    [J]. ADVANCED INTELLIGENT COMPUTING THEORIES AND APPLICATIONS, ICIC 2015, PT III, 2015, 9227 : 607 - 617
  • [43] The implementation of ambient calculus with HORB for mobile agents
    Kato, T
    Ikeda, D
    Okada, Y
    Mori, M
    Yamaku, S
    [J]. 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING, 2003, : 367 - 372
  • [44] An implementation of self-protected mobile agents
    Ametller, J
    Robles, S
    Ortega-Ruiz, JA
    [J]. 11TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2004, : 544 - 549
  • [45] MAP: Design and implementation of a mobile agents' platform
    Puliafito, A
    Tomarchio, O
    Vita, L
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2000, 46 (02) : 145 - 162
  • [46] Mobile agents in implementation of a virtual home environment
    Valtari, K
    [J]. INTELLIGENCE IN NETWORKS, 2000, 30 : 445 - 458
  • [47] Modelling Mobile IP with Mobile Petri Nets
    Lakos, Charles
    [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 127 - 158
  • [48] Location-dependent queries in mobile contexts: Distributed processing using mobile agents
    Ilarri, Sergio
    Mena, Eduardo
    Illarramendi, Arantza
    [J]. IEEE TRANSACTIONS ON MOBILE COMPUTING, 2006, 5 (08) : 1029 - 1043
  • [49] A Serialization Algorithm for Mobile Robots Using Mobile Agents with Distributed Ant Colony Clustering
    Shintani, Munehiro
    Lee, Shawn
    Takimoto, Munehiro
    Kambayashi, Yasushi
    [J]. KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT I: 15TH INTERNATIONAL CONFERENCE, KES 2011, 2011, 6881 : 260 - 270
  • [50] Mobile Petri nets
    Asperti, A.
    Busi, N.
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2009, 19 (06) : 1265 - 1278
12345