Formal gossip systems

My aim is to study gossip simulation using the combined lenses of logic programming and distributed systems. My current goal is to implement a system according to Max Kreminski’s framework for gossip simulation. Ideally, the primary result will be a gossip simulation architecture that is general, suitable to several use-cases in games and interactive narrative.