2 citations · 2 across the 3 of their papers we have counts for
4 papers
Two modes of recognition: algebra, coalgebra, and languages
Tomasz Brengos, Marco Peressotti
The aim of the paper is to build a connection between two approaches towards categorical language theory: the coalgebraic and algebraic language theory for monads. For a pair of mo…
A coalgebraic take on regular and -regular behaviours
Tomasz Brengos
We present a general coalgebraic setting in which we define finite and infinite behaviour with Büchi acceptance condition for systems whose type is a monad. The first part of the p…
Behavioural equivalences for timed systems
Tomasz Brengos, Marco Peressotti
Timed transition systems are behavioural models that include an explicit treatment of time flow and are used to formalise the semantics of several foundational process calculi and…
Behavioural equivalences for coalgebras with unobservable moves
Tomasz Brengos, Marino Miculan, Marco Peressotti
We introduce a general categorical framework for the definition of weak behavioural equivalences, building on and extending recent results in the field. This framework is based on…