Using Category Theory to Verify Implementation Against Design in Concurrent Systems.

Ming Zhu, Peter Grogono, Olga Ormandjieva

Browse the full ANT paper archive.