Paola Inverardi, Valérie Issarny, Romina Spalazzese. A Theory of Mediators for Eternal Connectors.
ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 2010, Crete, Greece. pp.236-250.
⟨inria-00512443⟩