![](/img/cover-not-exists.png)
Developments in concurrent Kleene algebra
Hoare, Tony, van Staden, Stephan, Möller, Bernhard, Struth, Georg, Zhu, HuibiaoLanguage:
english
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2015.09.012
Date:
October, 2015
File:
PDF, 1.11 MB
english, 2015