Specifying recursive agents with GDTs

ISSN： 1387-2532

Source： Autonomous Agents and Multi-Agent Systems, Vol.23, Iss.2, 2011-09, pp. : 273-301

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Specifying and verifying holonic agents with GDT4MAS

By Mermet B.

International Journal of Agent-Oriented Software Engineering, Vol. 4, Iss. 3, 2010-11 ,pp. : 281-303

Inderscience Publishers

Access to resources Recommend Favorite

Specifying Coalgebras with Modal Logic

By Kurz A.

Electronic Notes in Theoretical Computer Science, Vol. 11, Iss. 1, 2004-01 ,pp. : 1-15

Elsevier

Access to resources Recommend Favorite

Specifying coalgebras with modal logic

By Kurz A.

Theoretical Computer Science, Vol. 260, Iss. 1, 2001-06 ,pp. : 119-138

Elsevier

Access to resources Recommend Favorite

Formally specifying CARA in Java

By Stark Eugene W.

International Journal on Software Tools for Technology Transfer, Vol. 5, Iss. 4, 2004-05 ,pp. : 331-350

Springer Publishing Company

Access to resources Recommend Favorite

AN ACL FOR SPECIFYING FAULT-TOLERANT PROTOCOLS

By Dragoni Nicola Gaspari Mauro Guidi Davide

Applied Artificial Intelligence, Vol. 21, Iss. 4-5, 2007-04 ,pp. : 361-381

Taylor & Francis Ltd

Access to resources Recommend Favorite