In this paper probability measures on streams (e.g. on hypernumbers and p-adic numbers) are defined. Then it is shown that these probabilities can be used for simulations of reflexive games. In particular, it can be proved that Aumann's Agreement Theorem does not hold for these probabilities....

Plasmodium of Physarum polycephalum is a large single cell capable for distributed sensing, information processing, decentralized decision-making and collective action. In the paper, we interpret basic features of the plasmodium foraging behavior in terms of process calculus and spatial logic...