Ostatnia aktualizacja:
November 30. 2017 19:23:35
Main Page > Research

Research


  • T. Brengos, M. Peressotti, A Uniform Framework for Timed Automata and Beyond, http://arxiv.org/abs/1711.10233 (2017)
  • T. Brengos, M. Peressotti, A unifom framework for timed automata, CONCUR 2016
  • T. Brengos, M. Miculan, M. Peressotti, Behavioural equivalences for coalgebras with unobservable moves,  JLAMP 84(6) 2015, pp. 826-852 (preprint available at http://arxiv.org/abs/1411.0090)
  • T. Brengos, Weak bisimulation for coalgebras over order enriched monadshttp://arxiv.org/abs/1310.3656, LMCS 11 (2:14) 2015, pp. 1-44
  • T. Brengos, Lax functors and coalgebraic weak bisimulationhttp://arxiv.org/abs/1404.5267, (2015)
  • T. Brengos, On coalgebras with internal moves,  http://arxiv.org/abs/1402.6281 (with proofs),   Proc. CMCS'14, LNCS vol 8446 (2014) 
  • T. Brengos, Weak bisimulations for coalgebras over ordered functors, preprint, Proc. IFIP TCS 2012, LNCS Vol. 7604 (2012)
  • T. Brengos, Rigidity of unary algebras and its application to the HS=SH problem, preprint, Algebra Univers. 65 Vol. 1 (2011)
  • T. Brengos, V. Trnková, The HS=SH problem for coalgebras, preprintAlgebra Univers. 63 (2010)
  • T. Brengos, On Covariety Lattices, Discussiones Mathematicae: General Algebra and Applications Vol. 28 No. 2 2008