We consider models of interacting objects, where the interaction is via a common resource and the distribution of states of all objects. We consider the case where the number of transitions per time slot per object vanishes as grows. We show that, under mild assumptions and for large , the occupancy measure converges, in probability and in mean square over any finite horizon, to a deterministic dynamical system. Our method of proof is inspired by stochastic approximation algorithms. The convergence results allow us to derive properties valid in the stationary regime. We use this to develop a critique of the fixed point method sometimes used in conjunction with the decoupling assumption.
We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having po ...
Serge Vaudenay, Bénédikt Minh Dang Tran