On the modelling of publish/subscribe co
โ
R. Baldoni; R. Beraldi; S. Tucci Piergiovanni; A. Virgillito
๐
Article
๐
2005
๐
John Wiley and Sons
๐
English
โ 328 KB
๐ 1 views
## Abstract This paper presents a formal framework of a distributed computation based on a publish/subscribe system. The framework abstracts the system through two delays, namely the subscription/unsubscription delay and the diffusion delay. This abstraction allows one to model concurrent execution