This chapter introduces and discusses the existing computational models employed in the literature for studying the feasibility and complexity of computations by mobile agents: computational mobile entities that operate and move in discrete spaces, modeled as graphs. While almost all models share some fundamental features, making basic common assumptions, their fundamental differences depend on the assumptions made on the capabilities of the agents, in particular on the means of interaction with the environment and of inter-agent communication. Clearly, there are many variations of the models, depending on the assumed level of synchrony, anonymity, persistent memory, and topological knowledge. This Chapter aims to provide an overview of the...
This paper establishes a framework based on logic and automata theory in which to model and automati...
This paper presents a comparative survey of formalisms related to mobile agents. It describes the π-...
A mobile agent is an executing program that can migrate, at times of its own choosing, from machine ...
The past two decades have seen the rapid growth and development of the field of distributed computin...
At the core of distributed computing there is the necessity to coordinate a group of entities in fac...
This chapter provides a map of the current knowledge about the boundaries of Moving and Computing in...
International audienceMobile agents are a well-known paradigm for the design and implementation of d...
This paper explores a new frontier of mobile agents, not from technological views but from intrinsic...
Mobility creates a new challenge for dynamic systems in all phases of the life cycle, like modelling...
We introduce a calculus describing the movement of processes and devices, including movement through...
International audienceThe basic primitive for a mobile agent is the ability to visit all the nodes o...
The book integrates agent-based modeling and network science. It is divided into three parts, namely...
An agent-based model is a virtual world comprising distributed heterogeneous agents who interact ove...
Computing with mobile agents is rapidly becoming a topic of mainstream research in the theory of dis...
In this article we present a formal framework based on the action and reaction model that allows us ...
This paper establishes a framework based on logic and automata theory in which to model and automati...
This paper presents a comparative survey of formalisms related to mobile agents. It describes the π-...
A mobile agent is an executing program that can migrate, at times of its own choosing, from machine ...
The past two decades have seen the rapid growth and development of the field of distributed computin...
At the core of distributed computing there is the necessity to coordinate a group of entities in fac...
This chapter provides a map of the current knowledge about the boundaries of Moving and Computing in...
International audienceMobile agents are a well-known paradigm for the design and implementation of d...
This paper explores a new frontier of mobile agents, not from technological views but from intrinsic...
Mobility creates a new challenge for dynamic systems in all phases of the life cycle, like modelling...
We introduce a calculus describing the movement of processes and devices, including movement through...
International audienceThe basic primitive for a mobile agent is the ability to visit all the nodes o...
The book integrates agent-based modeling and network science. It is divided into three parts, namely...
An agent-based model is a virtual world comprising distributed heterogeneous agents who interact ove...
Computing with mobile agents is rapidly becoming a topic of mainstream research in the theory of dis...
In this article we present a formal framework based on the action and reaction model that allows us ...
This paper establishes a framework based on logic and automata theory in which to model and automati...
This paper presents a comparative survey of formalisms related to mobile agents. It describes the π-...
A mobile agent is an executing program that can migrate, at times of its own choosing, from machine ...