Paul Brunet

Paul Brunet

Université Paris-Est Créteil - Créteil / France
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4520533
University of Paris-Est Créteil
person_outline Paul Brunet's MOST POPULAR ARTICLES
1-) Concurrent Kleene algebra: free model and completeness T Kappé, P Brunet, A Silva, F Zanasi European Symposium on Programming, 856-882, 2018 372018
2-) Concurrent Kleene Algebra with Observations: From Hypotheses to CompletenessT Kappé, P Brunet, A Silva, J Wagemaker, F ZanasiFoundations of Software Science and Computation Structures: 23rd …, 2020212020
3-) Petri automata for Kleene allegoriesP Brunet, D Pous2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 68-79, 2015212015
4-) On series-parallel pomset languages: Rationality, context-freeness and automataT Kappé, P Brunet, B Luttik, A Silva, F ZanasiJournal of Logical and Algebraic Methods in Programming 103, 130-153, 2019222019
5-) Kleene Algebra with ObservationsT Kappé, P Brunet, J Rot, A Silva, J Wagemaker, F Zanasi30th International Conference on Concurrency Theory (CONCUR 2019) 140, 41:1 …, 2018222018