2 citations · 3 across the 4 of their papers we have counts for
4 papers
The Alternating-Time μ-Calculus With Disjunctive Explicit Strategies
Merlin Humml, Lutz Schröder, Dirk Pattinson
Alternating-time temporal logic (ATL) and its extensions, including the alternating-time -calculus (AMC), serve the specification of the strategic abilities of coalitions of age…
Simplified Coalgebraic Trace Equivalence
Alexander Kurz, Stefan Milius, Dirk Pattinson +1
The analysis of concurrent and reactive systems is based to a large degree on various notions of process equivalence, ranging, on the so-called linear-time/branching-time spectrum,…
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…
Named Models in Coalgebraic Hybrid Logic
Lutz Schroeder, Dirk Pattinson
Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic sem…