1532 search results - page 204 / 307 » An Algebraic Process Calculus |
171
click to vote
AMAI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we propose a new agent communication language which separates agent dialogue from any specific agent reasoning technology. This language is intended to address a nu...
153
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
166
click to vote
ICLP
2004
Springer
15 years 11 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
174
click to vote
CLUSTER
2000
IEEE
15 years 10 months ago
2000
IEEE
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...
147
click to vote
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...