# Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages

@inproceedings{Kapp2017BrzozowskiGC, title={Brzozowski Goes Concurrent - A Kleene Theorem for Pomset Languages}, author={Tobias Kapp{\'e} and Paul Brunet and Bas Luttik and Alexandre Leite Silva and Fabio Zanasi}, booktitle={CONCUR}, year={2017} }

- Published in CONCUR 2017
DOI:10.4230/LIPIcs.CONCUR.2017.25

Concurrent Kleene Algebra (CKA) is a mathematical formalism to study programs that exhibit concurrent behaviour. As with previous extensions of Kleene Algebra, characterizing the free model is crucial in order to develop the foundations of the theory and potential applications. For CKA, this has been an open question for a few years and this paper makes an important step towards an answer. We present a new automaton model and a Kleene-like theorem that relates a relaxed version of CKA to series… CONTINUE READING

#### Citations

##### Publications citing this paper.

SHOWING 1-2 OF 2 CITATIONS

## Concurrent Kleene Algebra: Free Model and Completeness

VIEW 5 EXCERPTS

CITES METHODS

HIGHLY INFLUENCED

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 20 REFERENCES