34 citations · 77 across the 12 of their papers we have counts for
4 papers · 1 filter
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,…
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…
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…
Sculptures in Concurrency
Uli Fahrenberg, Christian Johansen, Christopher A. Trotter +1
We give a formalization of Pratt's intuitive sculpting process for higher-dimensional automata (HDA). Intuitively, an HDA is a sculpture if it can be embedded in (i.e., sculpted fr…