3239 search results - page 298 / 648 » A Logical Process Calculus |
181
click to vote
AMAI
2004
Springer
16 years 3 days 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...
163
click to vote
FOSSACS
2004
Springer
16 years 2 days 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...
187
Voted
CLUSTER
2000
IEEE
15 years 11 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...
154
click to vote
CSFW
2000
IEEE
15 years 11 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...
173
Voted
CSL
1999
Springer
15 years 11 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...