Modeling Service Compatibility with Pi-calculus for Choreography.

ShuiGuang Deng, Zhaohui Wu, Mengchu Zhou, Ying Li, Jian Wu

Browse the full ER paper archive.