2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2024
Logical Predicates in Higher-Order Mathematical Operational Semantics
Sergey Goncharov, Alessio Santamaria, Lutz Schröder +2
We present a systematic approach to logical predicates based on universal coalgebra and higher-order abstract GSOS, thus making a first step towards a unifying theory of logical re…
cs.LO2014★ 2 cited
Coalgebraic Weak Bisimulation from Recursive Equations over Monads
Sergey Goncharov, Dirk Pattinson
Strong bisimulation for labelled transition systems is one of the most fundamental equivalences in process algebra, and has been generalised to numerous classes of systems that exh…