265 search results - page 29 / 53 » Operational Semantics for Agent Communication Languages |
ECAI
2006
Springer
15 years 3 months ago
2006
Springer
The importance of defining a standard framework for agent communication languages (ACL) with a simple, clear, and a verifiable semantics has been widely recognized. This paper pro...
KBSE
2000
IEEE
15 years 4 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
IJAOSE
2010
14 years 10 months ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
BIRTHDAY
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
129
click to vote
TGC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...