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 条
  • [1] Implementation and examination of mobile agents based on distributed platform
    Wang, Dan
    Wei, Bao-Zhong
    Yu, Ge
    Wang, Guo-Ren
    [J]. Dongbei Daxue Xuebao/Journal of Northeastern University, 2002, 23 (05): : 413 - 416
  • [2] Mobile agents for distributed simulation
    Wilson, LF
    Cybenko, G
    Burroughs, D
    [J]. PROCEEDINGS OF THE HIGH PERFORMANCE COMPUTING SYMPOSIUM - HPC '99, 1999, : 53 - 58
  • [3] A distributed algorithm as mobile agents
    Deugo, D
    [J]. MULTIPLE APPROACHES TO INTELLIGENT SYSTEMS, PROCEEDINGS, 1999, 1611 : 510 - 519
  • [4] Mobile agents for distributed processing
    Noy, P
    Schroeder, M
    [J]. INFRASTRUCTURE FOR AGENTS, MULTI-AGENT SYSTEMS, AND SCALABLE MULTI-AGENT SYSTEMS, 2001, 1887 : 263 - 265
  • [5] A Distributed Implementation of Mobile Maude
    Duran, Francisco
    Riesco, Adrian
    Verdejo, Alberto
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 176 (04) : 113 - 131
  • [6] Modelling mobility and mobile agents using nets within nets
    Köhler, M
    Moldt, D
    Rölke, H
    [J]. APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 121 - 139
  • [7] Mobile Agents with Timers, and Their Implementation
    Ciobanu, Gabriel
    Juravle, Calin
    [J]. INTELLIGENT DISTRIBUTED COMPUTING IV, 2010, 315 : 229 - +
  • [8] An Approach for Testing Mobile Agents Using the Nets within Nets Paradigm
    Kissoum, Yacine
    Sahnoun, Zaidi
    Barkaoui, Kamel
    [J]. RCIS 2009: PROCEEDINGS OF THE IEEE INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE, 2009, : 207 - +
  • [9] A Distributed Computational Model for Mobile Agents
    Haddar, Med Amine
    Kacem, Ahmed Hadj
    Metivier, Yves
    Mosbah, Mohamed
    Jmaiel, Mohamed
    [J]. AGENT COMPUTING AND MULTI-AGENT SYSTEMS, 2009, 5044 : 416 - +
  • [10] Distributed security algorithms by Mobile Agents
    Flocchini, Paola
    Santoro, Nicola
    [J]. DISTRIBUTED COMPUTING AND NETWORKING, PROCEEDINGS, 2006, 4308 : 1 - 14
12345