`Collaborated with:`

A.S.0001 P.Brunet F.Zanasi S.Smolka N.Foster J.Hsu D.Kozen

`Talks about:`

algebra (2) kleen (2) uninterpret (1) program (1) concurr (1) complet (1) linear (1) verif (1) model (1) guard (1)

## Person: Tobias Kappé

### DBLP: Kapp=eacute=:Tobias

### Contributed to:

### Wrote 2 papers:

- ESOP-2018-KappeB0Z #algebra #concurrent
- Concurrent Kleene Algebra: Free Model and Completeness (TK, PB, AS0, FZ), pp. 856–882.
- POPL-2020-SmolkaFHKKS #algebra #linear #source code #testing #verification
- Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time (SS, NF, JH, TK, DK, AS0), p. 28.