Related papers: Better Bounded Bisimulation Contractions (Preprint…
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…
Given a bounding class $B$, we construct a bounded refinement $BK(-)$ of Quillen's $K$-theory functor from rings to spaces. $BK(-)$ is a functor from weighted rings to spaces, and is equipped with a comparison map $BK \to K$ induced by…
The boundary knot method (BKM) is a recent boundary-type radial basis function (RBF) collocation scheme for general PDEs. Like the method of fundamental solution (MFS), the RBF is employed to approximate the inhomogeneous terms via the dual…
In studies of bundled modalities, we encode a complex conceptual notion into the semantics of a single modal operator and study its logic. Although there is already a substantial body of work on various concrete bundled operators, we still…
Recently, Baltag and van Benthem arXiv:2103.14946 [cs.LO] introduced a new decidable logic of functional dependence (LFD) with local dependence formulas and dependence quantifiers. The language is interpreted over dependence models, which…
I investigate contractions via Kac-Moody formalism. In particular, I show how the symmetry algebra of the standard 2-D Kepler system, which was identified by Daboul and Slodowy as an infinite-dimensional Kac-Moody loop algebra, and was…
This paper concerns branching simulation for weighted Kripke structures with parametric weights. Concretely, we consider a weighted extension of branching simulation where a single transitions can be matched by a sequence of transitions…
It is well known that the theory of coalgebras provides an abstract definition of behavioural equivalence that coincides with strong bisimulation across a wide variety of state-based systems. Unfortunately, the theory in the presence of…
In two earlier papers we derived congruence formats with regard to transition system specifications for weak semantics on the basis of a decomposition method for modal formulas. The idea is that a congruence format for a semantics must…
Understanding the relationship between various different forms of nonclassicality and their resource character is of great importance in quantum foundation and quantum information. Here, we discuss a quantitative link between quantum…
A bipartite state $\rho^{AB}$ has a $k$-symmetric extension if there exists a $k+1$-partite state $\rho^{AB_1B_2\ldots B_k}$ with marginals $\rho^{AB_i}=\rho^{AB}, \forall i$. The $k$-symmetric extension is called bosonic if…
In a recent series of papers we have analyzed a certain deformation of the canonical commutation relations producing an interesting functional structure which has been proved to have some connections with physics, and in particular with…
A good state-time quantized symbolic abstraction of an already input quantized control system would satisfy three conditions: proximity, soundness and completeness. Extant approaches for symbolic abstraction of unstable systems limit to…
In view of the Segal construction each category with a coherent operation gives rise to a cohomology theory. Similarly each open stable differential relation $R$ imposed on smooth maps of manifolds determines cohomology theories $k^*$ and…
The theory of coalgebras, for an endofunctor on a category, has been proposed as a general theory of transition systems. We investigate and relate four generalizations of bisimulation to this setting, providing conditions under which the…
We study comparisons between interpretations in description logics with respect to "logical consequences" of the form of semi-positive concepts (like semi-positive concept assertions). Such comparisons are characterized by conditions…
Normal-form bisimilarity is a simple, easy-to-use behavioral equivalence that relates terms in $\lambda$-calculi by decomposing their normal forms into bisimilar subterms. Moreover, it typically allows for powerful up-to techniques, such as…
A cohomology theory of root systems emerges naturally in the context of Automorphic Lie Algebras, where it helps formulating some structure theory questions. In particular, one can find concrete models for an Automorphic Lie Algebra by…
In this paper we introduce a novel notion of probabilistic bisimulation for quantum processes and prove that it is congruent with respect to various process algebra combinators including parallel composition even when both classical and…
In this work we attempt to generalize our result in [6] [7] for real rings (not just von Neumann regular real rings). In other words we attempt to characterize and construct real closure * of commutative unitary rings that are real. We also…