Manuel Peralta, Supratik Mukhopadhyay, Ramesh Bharadwaj. A Type-Theoretic Framework for Automated Synthesis of Workflows in Service-Oriented Computing. In 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), Philadelphia, PA, USA, 8-11 July, 2013. pages 374-379, IEEE, 2013. [doi]
Abstract is missing.