265 search results - page 29 / 53 » Operational Semantics for Agent Communication Languages |
119
click to vote
ECAI
2006
Springer
15 years 7 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...
125
click to vote
KBSE
2000
IEEE
15 years 7 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...
132
click to vote
IJAOSE
2010
15 years 1 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. ...
106
Voted
BIRTHDAY
2010
Springer
15 years 4 months 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...
168
click to vote
TGC
2005
Springer
15 years 8 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...