The Nepi2 Programming System: A pi-Calculus-Based Approach to Agent-Based Programming

Authors:
Yoshinobu Kawabe;Ken Mano;Kiyoshi Kogure
Affiliations:
-;-;-
Venue:
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Year:
2000

Citing 6
Cited 0

Generative communication in Linda

ACM Transactions on Programming Languages and Systems (TOPLAS)
A calculus of mobile processes, I

Information and Computation
Communication and Concurrency

Communication and Concurrency
Mobile Agents

Mobile Agents
Nepi: A Network Programming Language Based on the pi-Calculus

COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Concordia: An Infrastructure for Collaborating Mobile Agents

MA '97 Proceedings of the First International Workshop on Mobile Agents

Quantified Score

Hi-index	0.01

Visualization

Abstract

We introduce a programming system Nepi2, which is based on a process algebraic framework called the π-calculus. The Nepi2 system supports programmers who wish to construct communicating software or agents. In this paper, we demonstrate programming in Nepi2. First, we write a metacircular interpreter, which enables the construction of a mobile agent framework. We then construct an entity for mobile agent systems, which is called a place agent. Finally, we give an example concerning an electronic marketplace.