504 search results - page 93 / 101 » Reasoning about local properties in modal logic |
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
122
click to vote
TLCA
2007
Springer
15 years 7 months ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
118
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
143
click to vote
CONCUR
1997
Springer
15 years 5 months ago
1997
Springer
We apply the symbolic analysis principle to pushdown systems. We represent (possibly in nite) sets of con gurations of such systems by means of nite-state automata. In order to re...
108
click to vote
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...