In this paper, I will describe and critically evaluate the paper Distributed Bisimulations, by Ilaria Castellani and Matthew Hennessy [5]. The aim of their paper is to generalise bisimulation equivalence for a subset of CCS to take into account the distributed nature of processes and, thus give a noninterleaving semantic theory which has many of the advantages of the interleaving theory. This t...

In this paper, we attempt to investigate the connection between various types of ideals (for examples $(m, n)$-ideal, bi-ideal, interior ideal, quasi ideal, prime ideal and maximal ideal) of an ordered semigroup $(S,cdot ,leq)$ and the correspond hyperideals of its EL-hyperstructure $(S,*)$ (if exists). Moreover, we construct the class of EL-$Gamma$-semihypergroup associated to a partially orde...

This paper is written to give an overview of past, ongoing and future work in the area of hypertext and programming environments at Aalborg University. In the past, the main emphasis of our work has been on data modeling and storage aspects of hypertext. Our current research focuses more directly at programming environments. Our hypothesis is that the node-link representation, inspired by hyper...

This paper is a study of similarities and differences between strong and weak quantum consequence operations determined by a given class of ortholattices. We prove that the only strong orthologics which admits the deduction theorem (the only strong orthologics with algebraic semantics, the only equivalential strong orthologics, respectively) is the classical logic. In the papers concerning quan...

We develop several tools to derive linear independent multivariate equations from algebraic S-boxes. By applying them to maximally nonlinear power functions with the inverse exponents, Gold exponents, or Kasami exponents, we estimate their resistance against algebraic attacks. As a result, we show that S-boxes with Gold exponents have very weak resistance and S-boxes with Kasami exponents have ...

In the classical theory of probability we start by a pair (Ω, ), with Ω set of elementary events and σ-algebra of subsets of Ω, called events. A probability on is defined as a countable additive and positive function p such that p(Ω)=1. If A and B are two events, the conditional probability p(A/B) is defined if and only if p(B) is not null, by considering the quotient p(AB)/p(B). In the theory ...

Since the work of Mikhail Kapranov in [Kap], it is known that the shifted tangent complex TX r ́1s of a smooth algebraic variety X is endowed with a weak Lie structure. Moreover any complex of quasi-coherent sheaves on X is endowed with a weak Lie action of this tangent Lie algebra. We will generalize this result to (finite enough) derived Artin stacks, without any smoothness assumption. This in...