Concurrent Kleene algebra: free model and completeness T Kappé, P Brunet, A Silva, F Zanasi European Symposium on Programming, 856-882, 2018 | 39 | 2018 |
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 | 21 | 2020 |
Petri automata for Kleene allegories P Brunet, D Pous 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 68-79, 2015 | 21 | 2015 |
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 | 18 | 2019 |
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 | 17 | 2018 |
On Decidability of Concurrent Kleene Algebra P Brunet, D Pous, G Struth CONCUR, 2017 | 17 | 2017 |
Kleene Algebra with Converse P Brunet, D Pous Relational and Algebraic Methods in Computer Science, 101-118, 2014 | 14 | 2014 |
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 | 12 | 2021 |
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 | 9 | 2020 |
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 | 9 | 2017 |
Algorithms for Kleene algebra with converse P Brunet, D Pous Journal of Logical and Algebraic Methods in Programming 85 (4), 574-594, 2016 | 7 | 2016 |
A formal exploration of Nominal Kleene Algebra P Brunet, D Pous 41st International Symposium on Mathematical Foundations of Computer Science …, 2016 | 6 | 2016 |
Cardinalities of Finite Relations in Coq P Brunet, D Pous, I Stucke International Conference on Interactive Theorem Proving, 466-474, 2016 | 5 | 2016 |
A note on commutative Kleene algebra P Brunet arXiv preprint arXiv:1910.14381, 2019 | 4 | 2019 |
Reversible Kleene lattices P Brunet 42nd International Symposium on Mathematical Foundations of Computer Science …, 2017 | 4 | 2017 |
A Complete Axiomatisation of a Fragment of Language Algebra P Brunet 28th EACSL Annual Conference on Computer Science Logic (CSL 2020), 2020 | 3 | 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 | 2 | 2020 |
Equivalence checking for weak bi-Kleene algebra T Kappé, P Brunet, B Luttik, A Silva, F Zanasi Logical Methods in Computer Science 17, 2021 | 1 | 2021 |
A Kleene theorem for nominal automata P Brunet, A Silva 46th International Colloquium on Automata, Languages, and Programming (ICALP …, 2019 | 1 | 2019 |