External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

Ming Zhu, Peter Grogono, Olga Ormandjieva, Heng Kuang. Using Failures and Category Theory to Verify Process Communications between Design and Implementation of Concurrent Systems. In Elhadi M. Shakshuki, editor, The 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) / Affiliated Workshops, May 23-26, 2016, Madrid, Spain. Volume 83 of Procedia Computer Science, pages 700-704, Elsevier, 2016. [doi]

Abstract

Abstract is missing.

runs on