Sciweavers

COOPIS
2004
IEEE
14 years 3 months ago
Checking Asynchronously Communicating Components Using Symbolic Transition Systems
Abstract. Explicit behavioural interface description languages (BIDLs, protocols) are now recognized as a mandatory feature of component languages in order to address component reu...
Olivier Maréchal, Pascal Poizat, Jean-Claud...
AAMAS
2005
Springer
14 years 5 months ago
Dynamic and Distributed Interaction Protocols
This paper describes a protocol language which can provide agents with a flexible mechanism for coherent dialogues. The protocol language does not rely on centralised control or ...
Jarred McGinnis, David Robertson