Several systems can be modeled as sets of interdependent networks where each network contains distinct nodes. Diffusion processes like the spreading of a disease or the propagation of information constitute fundamental phenomena occurring over suc...

We have defined a system of session types for a calculus based on unreliable broadcast communication. This is the first time that session types have been generalised beyond reliable point-to-point communication. We defined the operational semantic...

In this paper, we provided a conceptually new approach to the verification of distributed algorithms that is robust against small changes of the model.

This paper studied the worst-case performance of the KF algorithm using novel universal prediction perspective in online machine learning. Tracking worst-case bounds were proved and compared with the bound derived from an H∞ setting. The proposed ...