Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems.

Ming Zhu, Peter Grogono, Olga Ormandjieva, Heng Kuang

Browse the full ANT paper archive.