Relating two automata-based models of orchestration and choreography

ما یک مفهوم توافق قوی در مورد اتوماتیک قرارداد را تعریف می کنیم؛ نقشه برداری طبیعی از این مدل را نشان می دهد تا ماشین های ارتباطی با معانی همزمان داشته باشند. و شرایط را برای اطمینان از این که توافق قوی مطابقت دارد به خوبی شکل دهی رقص. سپس این نتایج به یک مفهوم لیبرال توافق و به یک معناشناسی کاملا ناهمزمان ماشینهای ارتباطی گسترش می یابد.