Jason Jaskolka, Ridha Khédri, Qinglei Zhang: Endowing Concurrent Kleene Algebra with Communication Actions. RAMiCS 2014: 19-36