`Travelled to:`

1 × Japan

`Collaborated with:`

D.Pous ∅ T.Kappé A.S.0001 F.Zanasi

`Talks about:`

complet (2) algebra (2) kleen (2) axiomatis (1) fragment (1) automata (1) allegori (1) languag (1) concurr (1) petri (1)

## Person: Paul Brunet

### DBLP: Brunet:Paul

### Contributed to:

### Wrote 3 papers:

- LICS-2015-BrunetP #automaton #petri net
- Petri Automata for Kleene Allegories (PB, DP), pp. 68–79.
- ESOP-2018-KappeB0Z #algebra #concurrent
- Concurrent Kleene Algebra: Free Model and Completeness (TK, PB, AS0, FZ), pp. 856–882.
- CSL-2020-Brunet #algebra #axiom
- A Complete Axiomatisation of a Fragment of Language Algebra (PB), p. 15.