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.