On Formal Modeling of Agent Computations-Reference-Cited by-同舟云学术

On Formal Modeling of Agent Computations

Published:2001 Issue: Volume: Page:48-62
ISSN:0302-9743
Container-title:Formal Approaches to Agent-Based Systems
language:
Short-container-title:

Author:

Araragi Tadashi,Attie Paul,Keidar Idit,Kogure Kiyoshi,Luchangco Victor,Lynch Nancy,Mano Ken

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45484-5_4

Reference8 articles.

1. T. Araragi. Agent programming and its formal verification (in Japanese), technical report ai99-47, pp. 47–54. Technical report, The Institute of Electronics, Information and Communication Engineers, 1999.

2. T. Araragi, P. Attie, I. Keidar, K. Kogure, V. Luchangco, N. Lynch, and K. Mano. On Formal Modeling of Agent Computations. Tech. Report, MIT Lab. for Comp. Sci. Url: http://theory.lcs.mit.edu/.idish/Abstracts/agents-compare.html

3. P.C. Attie and N.A. Lynch. A formal model for dynamic computation. Tech. report, MIT Lab. for Computer Science. To appear.

4. E. M. Clarke, E. A. Emerson, and P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst., 8(2):244–263, Apr. 1986.

5. R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi. Reasoning about Knowledge. The MIT Press, Cambridge, Mass., 1995.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Enforcing More with Less: Formalizing Target-Aware Run-Time Monitors;Security and Trust Management;2013

2. Cooperating Mobile Agents;Mobile Agents in Networking and Distributed Computing;2012-08-24

3. Systems of agents controlled by logical programs: Complexity of verification;Programming and Computer Software;2009-09

4. On complexity of verification of interacting agents’ behavior;Annals of Pure and Applied Logic;2006-09

5. On feasible cases of checking multi-agent systems behavior;Theoretical Computer Science;2003-06