On Formal Modeling of Agent Computations

Authors:
Tadashi Araragi;Paul C. Attie;Idit Keidar;Kiyoshi Kogure;Victor Luchangco;Nancy A. Lynch;Ken Mano
Affiliations:
-;-;-;-;-;-;-
Venue:
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Year:
2000

Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Reasoning about knowledge

Reasoning about knowledge
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Nepi²: A Two-Level Calculus for Network Programming Based on the pi-Calculus

ASIAN '97 Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science

Concurrent Reading and Writing with Mobile Agents

IWDC '02 Proceedings of the 4th International Workshop on Distributed Computing, Mobile and Wireless Computing
Dynamic Input/Output Automata: A Formal Model for Dynamic Systems

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Cooperating Mobile Agents and Stabilization

WSS '01 Proceedings of the 5th International Workshop on Self-Stabilizing Systems

Hi-index	0.00