Ming Zhu, Peter Grogono, Olga Ormandjieva. Using Category Theory to Verify Implementation Against Design in Concurrent Systems. In Elhadi M. Shakshuki, editor, Proceedings of the 6th International Conference on Ambient Systems, Networks and Technologies (ANT 2015), the 5th International Conference on Sustainable Energy Information Technology (SEIT-2015), London, UK, June 2-5, 2015. Volume 52 of Procedia Computer Science, pages 530-537, Elsevier, 2015. [doi]
Abstract is missing.