Sotiris Moschoyiannis, Leandros A. Maglaras, Nurulhuda A. Manaf. Trace-Based Verification of Rule-Based Service Choreographies. In 11th IEEE Conference on Service-Oriented Computing and Applications, SOCA 2018, Paris, France, November 20-22, 2018. pages 185-193, IEEE Computer Society, 2018. [doi]
Abstract is missing.