Petr Pinkas, Jana Klecková. The composite algebraic structure over capabilities and actions of a system. In Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, ICITST 2009, London, UK, November 9-12, 2009. pages 1-6, IEEE, 2009. [doi]
Abstract is missing.