Formal approaches to agent-based systems : First International Workshop, FAABS 2000, Greenbelt, MD, USA, April 5-7, 2000 : revised papers /

Bibliographic Details
Corporate Authors:	FAABS 2000 Greenbelt, Md., SpringerLink (Online service)
Other Authors:	Rash, James L.
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2001]
Series:	Lecture notes in computer science ; 1871. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Intelligent control systems > Congresses. Software engineering > Congresses. système autonome. méthode formelle. spécification formelle. communication agent. système multi-agent. Commande intelligente > Congrès. Génie logiciel > Congrès. Intelligent control systems. Software engineering. Agent <Informatik>. Formale Methode. Kongress. Mehragentensystem. Rechnernetz. Electronic books. Kongress > Greenbelt (Md.) > 2000. Conference proceedings. Greenbelt (Md., 2000)
Online Access:	Connect to the full text of this electronic book

Table of Contents:

Model Checking-Based Analysis of Multiagent Systems / M. Benerecetti and F. Giunchiglia
Towards Formal Specification and Verification in Cyberspace / S. Ambroszkiewicz, W. Penczek and T. Nowak
Verification within the KARO Agent Theory / U. Hustadt, C. Dixon and R.A. Schmidt / [and others]
On Formal Modeling of Agent Computations / T. Araragi, P. Attie and I. Keidar / [et al.]
Modeling and Programming Devices and Web Agents / S.A. McIlraith
A Programming Logic for Part of the Agent Language 3APL / K.V. Hindriks, F.S. de Boer and W. van der Hoek / [et al.]
The Nepi[superscript 2] Programming System: A [pi]-Calculus-Based Approach to Agent-Based Programming / Y. Kawabe, K. Mano and K. Kogure.