2 citations · 2 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.FL2021
Posets with Interfaces as a Model for Concurrency
Uli Fahrenberg, Christian Johansen, Georg Struth +1
We introduce posets with interfaces (iposets) and generalise their standard serial composition to a new gluing composition. In the partial order semantics of concurrency, interface…
cs.LO2021★ 2 cited
lr-Multisemigroups and Modal Convolution Algebras
Uli Fahrenberg, Christian Johnsen, Georg Struth +1
We show how modal quantales arise as convolution algebras of functions from lr-multisemigroups that is, multisemigroups with a source map l and a target map r, into modal quantales…