Tobias Kappé et al.: Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness. (2020)
journals/corr/abs-2002-09682
2002.09682
Concurrent Kleene Algebra with Observations: from Hypotheses to Completeness.
5
CoRR
CoRR
abs/2002.09682
2020
provenance information for RDF data of dblp record 'journals/corr/abs-2002-09682'
2021-01-23T01:20:48+0100