A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Concurrent constraint programming
Concurrent constraint programming
Communicating sequential processes
Communications of the ACM
A Process Algebra for Synchronous Concurrent Constraint Programming
ALP '96 Proceedings of the 5th International Conference on Algebraic and Logic Programming
Verifiable Semantics for Agent Communication Languages
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
A Programming Language for Coordinating Group Actions
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Multi-agent Systems as Concurrent Constraint Processes
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
A distributed and probabilistic concurrent constraint programming language
ICLP'05 Proceedings of the 21st international conference on Logic Programming
| Hi-index | 0.00 |
In this paper, we present a semantic theory for the exchange of information in multi-agent systems. We define a concurrent programming language for systems of agents that maintain their own private stores of information and that interact with each other by means of a synchronous communication mechanism that allows for the exchange of information. The semantics of the language, which is based on a generalisation of traditional failure semantics, is shown to be fully-abstract with respect to observing of each terminating computation its final global store of information.