View Related Documents

Abstract

We describe our work in progress on μACL, a light implementation of the language ACL (A synchronous Communications in Linear Logic) for concurrent and distributed linear logic programming. Our description for computing elements (Agents) is inspired by the Actor model of concurrent computation. The essential requirements for Agent programming (communication, concurrency, actions, state update, modularity and code migration) are naturally expressed in μACL. Also, we describe some considerations towards the implementation of a distributed virtual machine for efficient execution of μACL programs.

Keywords  Agent Oriented Programming - Linear Logic - Multi-Agent Systems

Fulltext Preview

Image of the first page of the fulltext document