1. Sylvain Hallé Sylvain Hallé and Tevfik Bultan Realizability Analysis for Message-Based Interactions Using Shared-State Projections Université du Québec à Chicoutimi…