Communicating Concurrent Kleene Algebra for Distributed Systems Specification

MaRDI QIDQ7361929FDO

Authors Maxime Buyse, Jason Jaskolka

Publication date 6 August 2019

Cites work

• A formulation of the potential for communication condition using \(\mathrm{C}^2 \mathrm{KA}\)
• Concurrent Kleene algebra and its foundations
• Endowing concurrent Kleene algebra with communication actions
• Unnamed Publication

This page was built for software: Communicating Concurrent Kleene Algebra for Distributed Systems Specification