Publisher
Springer International Publishing
Reference14 articles.
1. Andréka, H., Mikulás, S., Németi, I.: The equational theory of Kleene lattices. Theoret. Comput. Sci. 412(52), 7099–7108 (2011)
2. Gisher, L.: The equational theory of pomsets. Theoretical Computer Science 62, 224–299 (1988)
3. Hoare, C.A.R., Möller, B., Struth, G., Wehrman, I.: Concurrent Kleene algebra and its foundations. J. Log. Algebr. Program. 80(6), 266–296 (2011)
4. Hoare, C.A.R., Möller, B., Struth, G., Wehrman, I.: Foundations of concurrent Kleene algebra. In: Berghammer, R., Jaoua, A.M., Möller, B. (eds.) RelMiCS/AKA 2009. LNCS, vol. 5827, pp. 166–186. Springer, Heidelberg (2009)
5. Lecture Notes in Computer Science;C.A.R. Hoare,2009
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献