In this article, we obtain an effectiveness result of strong openness property in L p L^p </inline-...

We report on the formal verification of a microkernel’s temporal property, namely that its multi-priority process scheduler guarantees progress, i. e., strong fairness. This paper summarizes parts of a journal article [2]. Our microkernel Vamos provides an infrastructure for a dynamically changing number of processes, for memory virtualization, for inter-process communication (IPC), and for use...

BY Rickard's fundamental theorem [8], the rings which are derived equivalent to a ring A are precisely the endomorphism rings of tilting complexes over A. A tilting complex T is a finitely generated complex of finitely generated projective modules, which does not admit selfextensions and which has the property that the smallest triangulated subcategory of D(A) which contains T also contains all...

Let (Σ, σ) be a Zd subshift of finite type. Under a strong irreducibility condition (strong specification), we show that Aut(Σ) contains any finite group. For Zd–subshifts of finite type without strong specification, examples show that topological mixing is not sufficient to give any finite group in the automorphism group in general: in particular, End(Σ) may be an abelian semigroup. For an exa...