In this paper, we develop a game-theoretic account of concurrent separation logic. To every execution trace of the Code confronted to the Environment, we associate a specification game where Eve plays for the Code, and Adam for the Environment. The purpose of Eve and Adam is to decompose every intermediate machine state of the execution trace into three pieces: one piece for the Code, one piece...

Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the environment. The evolution of the system depends on the decisions of both players. The specification for the system is usually given as an ω-regular language L over paths and Eve’s goal is to ensure that the play belongs to L irr...

We show that the problem of existence of a mitochondrial Eve can be understood as an application of the Galton–Watson process and presents interesting analogies with critical phenomena in Statistical Mechanics. In the approximation of small survival probability, and assuming limited progeny, we are able to find for a genealogic tree the maximum and minimum survival probabilities over all probab...

The presence of moral evil (sin) in the world is relatively easy for the Christian creationist to explain, and free choice is key to that explanation. To Christian evolutionist and professor of biology Daniel Brannan, the idea of a very good Creation and an Adam and Eve who were deceived and sinned is not only incoherent but also makes God the cause of sin. Brannan proposed that Christians acce...

In this paper, we study the problem of minimizing regret in discounted-sum games played on weighted game graphs. We give algorithms for the general problem of computing the minimal regret of the controller (Eve) as well as several variants depending on which strategies the environment (Adam) is permitted to use. We also consider the problem of synthesizing regret-free strategies for Eve in each...

The Doomsday argument purports to show that the risk of the human species going extinct soon has been systematically underestimated. This argument has something in common with controversial forms of reasoning in other areas, including: game theoretic problems with imperfect recall, the methodology of cosmology, the epistemology of indexical belief, and the debate over so-called fine-tuning argu...

the myth of the descent of adam, with all its complexities, has being preoccupied the mind of human kind from the very beginning stages of creation. the holy books of torah, bible and quran have each paid to different angles of this legend. studying the modern poetry, it can be found that the contemporary poets have been under the influence of quran and have used the teachings of old and new te...