12 citations · 60 across the 29 of their papers we have counts for
3 papers · 1 filter
Quantitative Hennessy-Milner Theorems via Notions of Density
Jonas Forster, Sergey Goncharov, Dirk Hofmann +3
The classical Hennessy-Milner theorem is an important tool in the analysis of concurrent processes; it guarantees that any two non-bisimilar states in finitely branching labelled t…
Limits in Categories of Vietoris Coalgebras
Dirk Hofmann, Renato Neves, Pedro Nora
Motivated by the need to reason about hybrid systems, we study limits in categories of coalgebras whose underlying functor is a Vietoris polynomial one - intuitively, the topologic…
Continuity as a computational effect
Renato Neves, Luis S. Barbosa, Dirk Hofmann +1
The original purpose of component-based development was to provide techniques to master complex software, through composition, reuse and parametrisation. However, such systems are…