A theory of mediators for eternal connectors (2010)

by P Inverardi, V Issarny, R Spalazzese
Venue:In Proceedings of ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation