Follow
Paul Brunet
Title
Cited by
Cited by
Year
Concurrent Kleene algebra: free model and completeness
T Kappé, P Brunet, A Silva, F Zanasi
European Symposium on Programming, 856-882, 2018
392018
Concurrent Kleene Algebra with Observations: From Hypotheses to Completeness
T Kappé, P Brunet, A Silva, J Wagemaker, F Zanasi
Foundations of Software Science and Computation Structures: 23rd …, 2020
212020
Petri automata for Kleene allegories
P Brunet, D Pous
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 68-79, 2015
212015
On series-parallel pomset languages: Rationality, context-freeness and automata
T Kappé, P Brunet, B Luttik, A Silva, F Zanasi
Journal of Logical and Algebraic Methods in Programming 103, 130-153, 2019
182019
Kleene Algebra with Observations
T Kappé, P Brunet, J Rot, A Silva, J Wagemaker, F Zanasi
30th International Conference on Concurrency Theory (CONCUR 2019) 140, 41:1 …, 2018
172018
On Decidability of Concurrent Kleene Algebra
P Brunet, D Pous, G Struth
CONCUR, 2017
172017
Kleene Algebra with Converse
P Brunet, D Pous
Relational and Algebraic Methods in Computer Science, 101-118, 2014
142014
A Compositional Deadlock Detector for Android Java
J Brotherston, P Brunet, N Gorogiannis, M Kanovich
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
122021
Partially Observable Concurrent Kleene Algebra
J Wagemaker, P Brunet, S Docherty, T Kappé, J Rot, A Silva
31st International Conference on Concurrency Theory (CONCUR 2020) 171, 20:1 …, 2020
92020
Petri Automata
D Pous, P Brunet
Logical Methods in Computer Science 13, 2017
9*2017
Brzozowski Goes Concurrent-A Kleene Theorem for Pomset Languages
T Kappé, P Brunet, B Luttik, A Silva, F Zanasi
CONCUR, 2017
92017
Algorithms for Kleene algebra with converse
P Brunet, D Pous
Journal of Logical and Algebraic Methods in Programming 85 (4), 574-594, 2016
82016
A formal exploration of Nominal Kleene Algebra
P Brunet, D Pous
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
62016
Cardinalities of Finite Relations in Coq
P Brunet, D Pous, I Stucke
International Conference on Interactive Theorem Proving, 466-474, 2016
52016
A note on commutative Kleene algebra
P Brunet
arXiv preprint arXiv:1910.14381, 2019
42019
Reversible Kleene lattices
P Brunet
42nd International Symposium on Mathematical Foundations of Computer Science …, 2017
42017
A Complete Axiomatisation of a Fragment of Language Algebra
P Brunet
28th EACSL Annual Conference on Computer Science Logic (CSL 2020), 2020
32020
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra
P Brunet, D Pym
5th International Conference on Formal Structures for Computation and …, 2020
22020
Equivalence checking for weak bi-Kleene algebra
T Kappé, P Brunet, B Luttik, A Silva, F Zanasi
Logical Methods in Computer Science 17, 2021
12021
A Kleene theorem for nominal automata
P Brunet, A Silva
46th International Colloquium on Automata, Languages, and Programming (ICALP …, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20