3515 search results - page 169 / 703 » On the semantics of Strategy Logic |
241
click to vote
ESOP
2006
Springer
15 years 11 months ago
2006
Springer
This paper presents a new program logic designed for facilitating automated reasoning about pointer programs. The program logic is directly inspired by previous work by O'Hea...
191
click to vote
IANDC
2006
15 years 7 months ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
193
click to vote
SBCCI
2009
ACM
15 years 12 months ago
2009
ACM
Because of the aggressive scaling of integrated circuits and the given limits of atomic scales, circuit designers have to become more and more aware of the arising reliability and...
192
click to vote
ACSC
2004
IEEE
15 years 11 months ago
2004
IEEE
Table 1 shows the payoff to player one. The same matrix also holds for player two. Player one can gain the maximum 5 points (T = 5) by defection if player two cooperates. However,...
168
click to vote
ICFP
2004
ACM
16 years 7 months ago
2004
ACM
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...