2003•Journal of Computer Research and DevelopmentRequires access

π-Calculus Based Operational Semantics for Restricted AGENTO

Wang Yi

Abstract

AGENT0 is an agent oriented programming language The operational semantics for the interactive actions of it is yet unclear These actions can not be treated properly under the semantics model that Hindriks proposed π calculus is a useful tool to describe concurrent and interactive systems Based on it, formal operational semantics for the restricted AGENT0 is presented Simplification is the main purpose of the restriction, and this restricted AGENT0 keeps the essence of AGENT0 This semantics is more suitable for agent lives in multi agent systems than Hindriks's

About this research paper

What this paper is about

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

Key concepts: Operational semantics, Computer science, Semantics (computer science), Programming language, Formal semantics (linguistics), Action semantics, Denotational semantics, Well-founded semantics