BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Brunet:Paul

Contributed to:

LICS 20152015
ESOP 20182018
CSL 20202020

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.