Concurrent Kleene algebra with observations: from hypotheses to completeness

From MaRDI portal
Publication:2200836

DOI10.1007/978-3-030-45231-5_20OpenAlexW3023372902MaRDI QIDQ2200836

Jana Wagemaker, Tobias Kappé, Alexandra Silva, Fabio Zanasi, Paul Brunet

Publication date: 23 September 2020

Full work available at URL: https://arxiv.org/abs/2002.09682



Related Items



Cites Work