Tomasz Brengos

According to our database, Tomasz Brengos authored at least 11 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A coalgebraic take on regular and ω-regular behaviours.

Tomasz Brengos

Log. Methods Comput. Sci., 2021

2019

Behavioural equivalences for timed systems.

Tomasz Brengos, Marco Peressotti

Log. Methods Comput. Sci., 2019

Two modes of recognition: algebra, coalgebra, and languages.

Tomasz Brengos, Marco Peressotti

CoRR, 2019

2018

A Coalgebraic Take on Regular and omega-Regular Behaviour for Systems with Internal Moves.

Tomasz Brengos

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

A Uniform Framework for Timed Automata and Beyond.

Tomasz Brengos, Marco Peressotti

CoRR, 2017

2016

A Uniform Framework for Timed Automata.

Tomasz Brengos, Marco Peressotti

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Behavioural equivalences for coalgebras with unobservable moves.

Tomasz Brengos, Marino Miculan, Marco Peressotti

J. Log. Algebraic Methods Program., 2015

Weak bisimulation for coalgebras over order enriched monads.

Tomasz Brengos

Log. Methods Comput. Sci., 2015

2014

Lax Kleisli-valued presheaves and coalgebraic weak bisimulation.

Tomasz Brengos

CoRR, 2014

On Coalgebras with Internal Moves.

Tomasz Brengos

Proceedings of the Coalgebraic Methods in Computer Science, 2014

2012

Weak Bisimulations for Coalgebras over Ordered Functors.

Tomasz Brengos

Proceedings of the Theoretical Computer Science, 2012