This paper focuses on the design of unreliable failure detectors of the Eventually Perfect class (3P) in crash-prone partially synchronous systems. We adopt a monitoring mechanism based on heartbeats over a logical ring arrangement of processes as the common design feature. This provides good communication efficiency, a performance parameter which refers to the number of links that carry messag...

Hybrid automata have been introduced in both control engineering and computer science as a formal model for the dynamics of hybrid discrete-continuous systems. While computability issues concerning safety properties have been extensively studied, liveness properties have remained largely uninvestigated. In this article, we investigate de-cidability of state recurrence and of progress properties...

We consider a proposal to define the wave function of Universe as sum over spacetimes that eventually inflate. In minisuperspace model, we explicitly show simple family initial conditions, parametrized by positive real number $a_0$, can be imposed realise this prescription. The resulting is found proportional Hartle-Hawking and its dependence on $a_0$ only through an overall phase factor. Motiv...