Kappé, T; Brunet, P; Silva, A; Wagemaker, J; Zanasi, F; (2020) Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness. In: Goubault-Larrecq, J and König, B, (eds.) Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. (pp. pp. 381-400). Springer: Cham, Switzerland.