2,208 followers
Open Access UCL Research: Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness https://t.co/sxCFfAaS0s
Open Access UCL Research: Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness https://t.co/sxCFfAaS0s