We also report on an implementation of the realizability algorithm and discuss experimental results.
R Ramanujam, S Sheerazuddin 2014, 'A Local Logic for Realizability in Web Service Choreographies', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1409.2591v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)
Last, we focus on the realizability and conformance of choreographies.
Gwen Salaün 2010, 'Analysis and Verification of Service Interaction Protocols - A Brief Survey', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1009.3716v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)