{"id":609,"date":"2019-08-11T16:54:07","date_gmt":"2019-08-11T20:54:07","guid":{"rendered":"https:\/\/carleton.ca\/cybersea\/?p=609"},"modified":"2026-01-26T10:41:51","modified_gmt":"2026-01-26T15:41:51","slug":"new-publication-communicating-concurrent-kleene-algebra-for-distributed-systems-specification","status":"publish","type":"post","link":"https:\/\/carleton.ca\/cybersea\/2019\/new-publication-communicating-concurrent-kleene-algebra-for-distributed-systems-specification\/","title":{"rendered":"New Publication: Communicating Concurrent Kleene Algebra for Distributed Systems Specification"},"content":{"rendered":"\n<section class=\"w-screen px-6 cu-section cu-section--white ml-offset-center md:px-8 lg:px-14\">\n    <div class=\"space-y-6 cu-max-w-child-5xl  md:space-y-10 cu-prose-first-last\">\n\n            <div class=\"cu-textmedia flex flex-col lg:flex-row mx-auto gap-6 md:gap-10 my-6 md:my-12 first:mt-0 max-w-5xl\">\n        <div class=\"justify-start cu-textmedia-content cu-prose-first-last\" style=\"flex: 0 0 100%;\">\n            <header class=\"font-light prose-xl cu-pageheader md:prose-2xl cu-component-updated cu-prose-first-last\">\n                                    <h1 class=\"cu-prose-first-last font-semibold !mt-2 mb-4 md:mb-6 relative after:absolute after:h-px after:bottom-0 after:bg-cu-red after:left-px text-3xl md:text-4xl lg:text-5xl lg:leading-[3.5rem] pb-5 after:w-10 text-cu-black-700 not-prose\">\n                        New Publication: Communicating Concurrent Kleene Algebra for Distributed Systems Specification\n                    <\/h1>\n                \n                                \n                            <\/header>\n\n                    <\/div>\n\n            <\/div>\n\n    <\/div>\n<\/section>\n\n<p>Congratulations to <a href=\"https:\/\/carleton.ca\/cybersea\/people\/maxime-buyse\/\">Maxime Buyse<\/a> for having his work on formalizing results about Communicating Concurrent Kleene Algebra (C\u00b2KA) and its application for distributed systems specification in Isabelle published in the <a href=\"https:\/\/www.isa-afp.org\/index.html\">Archive of Formal Proofs<\/a>. This work has applications in studying system-level properties of distributed systems such as safety, security, and reliability. See <a href=\"https:\/\/carleton.ca\/cybersea\/publications\/\">Publications<\/a> for more details!<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Congratulations to Maxime Buyse for having his work on formalizing results about Communicating Concurrent Kleene Algebra (C\u00b2KA) and its application for distributed systems specification in Isabelle published in the Archive of Formal Proofs. This work has applications in studying system-level properties of distributed systems such as safety, security, and reliability. See Publications for more details!<\/p>\n","protected":false},"author":2,"featured_media":431,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":"","_links_to":"","_links_to_target":""},"categories":[41],"tags":[],"class_list":["post-609","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-publication"],"acf":{"cu_post_thumbnail":""},"_links":{"self":[{"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/posts\/609","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/comments?post=609"}],"version-history":[{"count":3,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/posts\/609\/revisions"}],"predecessor-version":[{"id":612,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/posts\/609\/revisions\/612"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/media\/431"}],"wp:attachment":[{"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/media?parent=609"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/categories?post=609"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/carleton.ca\/cybersea\/wp-json\/wp\/v2\/tags?post=609"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}