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
202018
Petri automata for Kleene allegories
P Brunet, D Pous
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 68-79, 2015
182015
On Decidability of Concurrent Kleene Algebra
P Brunet, D Pous, G Struth
CONCUR, 2017
112017
Kleene Algebra with Converse
P Brunet, D Pous
Relational and Algebraic Methods in Computer Science, 101-118, 2014
112014
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
72018
Brzozowski Goes Concurrent-A Kleene Theorem for Pomset Languages
T Kappé, P Brunet, B Luttik, A Silva, F Zanasi
CONCUR, 2017
52017
Cardinalities of Finite Relations in Coq
P Brunet, D Pous, I Stucke
International Conference on Interactive Theorem Proving, 466-474, 2016
52016
Algorithms for Kleene algebra with converse
P Brunet, D Pous
Journal of Logical and Algebraic Methods in Programming 85 (4), 574-594, 2016
52016
A formal exploration of Nominal Kleene Algebra
P Brunet, D Pous
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
52016
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
42020
Petri Automata
D Pous, P Brunet
Logical Methods in Computer Science 13, 2017
3*2017
Reversible Kleene lattices
P Brunet
LIPIcs-Leibniz International Proceedings in Informatics 83, 2017
32017
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
12019
Equivalence checking for weak bi-Kleene algebra
T Kappé, P Brunet, B Luttik, A Silva, F Zanasi
arXiv preprint arXiv:1807.02102, 2018
12018
Algebras of Relations: from algorithms to formal proofs
P Brunet
12016
A Kleene theorem for Petri automata
P Brunet
12016
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
2020
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
2020
A Complete Axiomatisation of a Fragment of Language Algebra
P Brunet
28th EACSL Annual Conference on Computer Science Logic (CSL 2020), 2020
2020
A note on commutative Kleene algebra
P Brunet
arXiv preprint arXiv:1910.14381, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20