Behavioural equivalences for coalgebras with unobservable moves T Brengos, M Miculan, M Peressotti Journal of Logical and Algebraic Methods in Programming 84 (6), 826-852, 2015 | 33 | 2015 |
Weak bisimulation for coalgebras over order enriched monads T Brengos Logical Methods in Computer Science 11 (2), 1-44, 2015 | 21 | 2015 |
A uniform framework for timed automata T Brengos, M Peressotti 27th International Conference on Concurrency Theory (CONCUR 2016), 2016 | 17 | 2016 |
On coalgebras with internal moves T Brengos Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International …, 2014 | 13 | 2014 |
Behavioural equivalences for timed systems T Brengos, M Peressotti Logical Methods in Computer Science 15, 2019 | 8 | 2019 |
Weak bisimulations for coalgebras over ordered functors T Brengos Proc. IFIP TCS 2012, LNCS 7604, 87-103, 2012 | 5 | 2012 |
A coalgebraic take on regular and omega-regular behaviour for systems with internal moves T Brengos 29th International Conference on Concurrency Theory (CONCUR 2018), 2018 | 4 | 2018 |
Lax functors and coalgebraic weak bisimulation T Brengos arXiv preprint arXiv:1404.5267, 2014 | 3 | 2014 |
The problem for coalgebras T Brengos, V Trnková Algebra universalis 63 (2), 283-301, 2010 | 3 | 2010 |
Weak bisimulations for coalgebras over ordered monads T Brengos CoRR abs/1310.3656, 2013 | 2 | 2013 |
Rigidity of unary algebras and its application to the problem T Brengos Algebra universalis 65 (1), 73-89, 2011 | 1 | 2011 |
A coalgebraic take on regular and -regular behaviours T Brengos Logical Methods in Computer Science 17, 2021 | | 2021 |
Two modes of recognition: algebra, coalgebra, and languages T Brengos, M Peressotti arXiv preprint arXiv:1906.05573, 2019 | | 2019 |
A UNIFORM FRAMEWORK FOR TIMED AUTOMATA AND BEYOND T Brengos, M Peressotti arXiv preprint arXiv:1711.10233, 2017 | | 2017 |
Journal of Logical and Algebraic Methods in Programming T Brengos, M Miculan, M Peressotti | | 2015 |
LAX KLEISLI-VALUED PRESHEAVES AND COALGEBRAIC WEAK BISIMULATION T Brengos arXiv preprint arXiv:1404.5267, 2014 | | 2014 |
Universal theory of coalgebras T Brengos Department of Algebra and Combinatorics, 2010 | | 2010 |
On covariety lattices T Brengos Discussiones Mathematicae-General Algebra and Applications 28 (2), 179-191, 2008 | | 2008 |
The [FORMULA] problem for coalgebras T Brengos, V Trnková Algebra universalis 63 (2-3), 0 | | |