Zobrazeno 1 - 10
of 123
pro vyhledávání: '"WILD, PAUL"'
Game-theoretic characterizations of process equivalences traditionally form a central topic in concurrency; for example, most equivalences on the classical linear-time / branching-time spectrum come with such characterizations. Recent work on so-call
Externí odkaz:
http://arxiv.org/abs/2411.03069
While behavioural equivalences among systems of the same type, such as Park/Milner bisimilarity of labelled transition systems, are an established notion, a systematic treatment of relationships between systems of different type is currently missing.
Externí odkaz:
http://arxiv.org/abs/2410.14460
Generic notions of bisimulation for various types of systems (nondeterministic, probabilistic, weighted etc.) rely on identity-preserving (normal) lax extensions of the functor encapsulating the system type, in the paradigm of universal coalgebra. It
Externí odkaz:
http://arxiv.org/abs/2410.14440
Autor:
D'Angelo, Keri, Gurke, Sebastian, Kirss, Johanna Maria, König, Barbara, Najafi, Matina, Różowski, Wojciech, Wild, Paul
Publikováno v:
Published at CONCUR 2024
Behavioural distances of transition systems modelled via coalgebras for endofunctors generalize traditional notions of behavioural equivalence to a quantitative setting, in which states are equipped with a measure of how (dis)similar they are. Endowi
Externí odkaz:
http://arxiv.org/abs/2404.19632
Autor:
Beohar, Harsh, Gurke, Sebastian, König, Barbara, Messing, Karla, Forster, Jonas, Schröder, Lutz, Wild, Paul
We address the task of deriving fixpoint equations from modal logics characterizing behavioural equivalences and metrics (summarized under the term conformances). We rely on earlier work that obtains Hennessy-Milner theorems as corollaries to a fixpo
Externí odkaz:
http://arxiv.org/abs/2310.05711
Coalgebra, as the abstract study of state-based systems, comes naturally equipped with a notion of behavioural equivalence that identifies states exhibiting the same behaviour. In many cases, however, this equivalence is finer than the intended seman
Externí odkaz:
http://arxiv.org/abs/2307.14826
Autor:
Forster, Jonas, Schröder, Lutz, Wild, Paul, Beohar, Harsh, Gurke, Sebastian, König, Barbara, Messing, Karla
Behavioural metrics provide a quantitative refinement of classical two-valued behavioural equivalences on systems with quantitative data, such as metric or probabilistic transition systems. In analogy to the linear-time/branching-time spectrum of two
Externí odkaz:
http://arxiv.org/abs/2306.01487
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 transition systems can be distinguished by a modal formula. Numerous va
Externí odkaz:
http://arxiv.org/abs/2207.09187
Behavioural distances measure the deviation between states in quantitative systems, such as probabilistic or weighted systems. There is growing interest in generic approaches to behavioural distances. In particular, coalgebraic methods capture variat
Externí odkaz:
http://arxiv.org/abs/2202.07069
Publikováno v:
Mathematical Structures in Computer Science. 2023:1-30
Lax extensions of set functors play a key role in various areas including topology, concurrent systems, and modal logic, while predicate liftings provide a generic semantics of modal operators. We take a fresh look at the connection between lax exten
Externí odkaz:
http://arxiv.org/abs/2112.12681