External Links

Cite Key

Statistics

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

PDF

Tags

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.

Foundations of Concurrent Kleene Algebra

C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman. Foundations of Concurrent Kleene Algebra. In Rudolf Berghammer, Ali Jaoua, Bernhard Möller, editors, Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceed. Volume 5827 of Lecture Notes in Computer Science, pages 166-186, Springer, 2009. [doi]

Abstract

Abstract is missing.

runs on