2 citations · 2 across the 2 of their papers we have counts for
7 papers
Bisimulations Respecting Duration and Causality for the Non-interleaving Applied -Calculus
Clément Aubert, Ross Horne, Christian Johansen
This paper shows how we can make use of an asynchronous transition system, whose transitions are labelled with events and which is equipped with a notion of independence of events,…
Generating Posets with Interfaces
Olavi Äikäs, Uli Fahrenberg, Christian Johansen +1
We generate and count isomorphism classes of gluing-parallel posets with interfaces (iposets) on up to eight points, and on up to ten points with interfaces removed. In order to do…
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…
Languages of Higher-Dimensional Automata
Uli Fahrenberg, Christian Johansen, Georg Struth +1
We introduce languages of higher-dimensional automata (HDAs) and develop some of their properties. To this end, we define a new category of precubical sets, uniquely naturally isom…
Domain Semirings United
Uli Fahrenberg, Christian Johansen, Georg Struth +1
Domain operations on semirings have been axiomatised in two different ways: by a map from an additively idempotent semiring into a boolean subalgebra of the semiring bounded by the…
Generating Posets Beyond N
Uli Fahrenberg, Christian Johansen, Georg Struth +1
We introduce iposets---posets with interfaces---equipped with a novel gluing composition along interfaces and the standard parallel composition. We study their basic algebraic prop…