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