338 search results - page 3 / 68 » The Computational SLR: A Logic for Reasoning about Computati... |
GRC
2005
IEEE
13 years 11 months ago
2005
IEEE
ISMIS
1994
Springer
13 years 10 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
SEBD
2003
13 years 7 months ago
2003
The Ambient Logic is a modal logic proposed to describe the structural and computational properties of distributed and mobile computations. The static part of the Ambient Logic is,...
ATAL
1999
Springer
13 years 10 months ago
1999
Springer
Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper prese...
CONCUR
1998
Springer
13 years 10 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...