Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker. capDL: a language for describing capability-based systems. In Chandramohan A. Thekkath, Ramakrishna Kotla, Lidong Zhou, editors, Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, ApSys 2010, New Delhi, India, August 30, 2010. pages 31-36, ACM, 2010. [doi]
Abstract is missing.