Results 11 to 20 of about 26,193 (159)
Non-separable AF-algebras [PDF]
, 2005 We give two pathological phenomena for non-separable AF-algebras which do not occur for separable AF-algebras. One is that non-separable AF-algebras are not determined by their Bratteli diagrams, and the other is that there exists a non-separable AF ...
Katsura, Takeshi
core +3 more sources
Algebraic separation logic [PDF]
The Journal of Logic and Algebraic Programming, 2011 Separation logic is an extension of Hoare logic with reasoning about complex and shared data structures by added assertions to express separation between memory regions. For arbitrary assertions \( p\) and \(q\) the conjunction \(p \star q\) asserts that \(p\) and \(q\) both hold, but each for separate parts of the storage, and \(p-\star q\) holds for ...
Dang, Han Hing +2 more
openaire +1 more source
Separating Function Algebras [PDF]
Nagoya Mathematical Journal, 1972 Recent results of Hoffman and Singer [7], Weiss [10] and Wilken [11] indicate that the study of separation properties play a central rôle in the theory of function algebras. Our purpose in this paper is to investigate a natural separation property of function algebras.
Csordas, G. L., Reiter, H. B.
openaire +2 more sources
Separately continuous algebras
Theoretical Computer Science, 1983 An ordered algebra is separately \(\Delta\)-continuous if it has directed joins, and the operations preserve these joins in each variable separately. For infinitary signatures, free separately \(\Delta\)- continuous algebras are proved not to exist, in contrast with the jointly continuous algebras [see \textit{E. Nelson}, Lect. Notes Math. 871, 315-334
Jirí Adámek, Evelyn Nelson
openaire +2 more sources
On Orders In Separable Algebras [PDF]
Canadian Journal of Mathematics, 1955 Introduction. The present note began from the observation that the arguments produced by J-M. Maranda in developing his very interesting theory of representations of groups by automorphisms of modules over Dedekind rings (4, 5) were applicable without essential change to arbitrary orders, instead of just group rings, provided that a suitable ...
openaire +2 more sources
On algebraic abstractions for concurrent separation logics [PDF]
Proceedings of the ACM on Programming Languages, 2021 Concurrent separation logic is distinguished by transfer of state ownership upon parallel composition and framing. The algebraic structure that underpins ownership transfer is that of partial commutative monoids (PCMs). Extant research considers ownership transfer primarily from the logical perspective while comparatively less attention is drawn to the
Frantisek Farka +4 more
openaire +3 more sources
Separable algebras over a commutative Banach algebra [PDF]
Pacific Journal of Mathematics, 1983 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Craw, Ian, Ross, Susan
openaire +2 more sources
Orders in separable algebras [PDF]
Proceedings of the American Mathematical Society, 1975 The module P ∗ / m P ∗ {P^ \ast }/m{P^ \ast } , where P P is an order in a separable algebra over the quotient field of an integrally closed, quasi-local domain, is studied.
openaire +1 more source
Towards Algebraic Separation Logic [PDF]
, 2009 We present an algebraic approach to separation logic. In particular, we give algebraic characterisations for all constructs of separation logic. The algebraic view does not only yield new insights on separation logic but also shortens proofs and enables the use of automated theorem provers for verifying properties at a more abstract level.
Dang, Han Hing +2 more
openaire +3 more sources
Separability idempotents in $C^*$-algebras [PDF]
Journal of Noncommutative Geometry, 2018 In this paper, we study the notion of a separability idempotent in the C^* -algebra framework. This is analogous to the notion in the purely algebraic setting, typically considered in the case of (finite ...
Kahng, Byung-Jay, Van Daele, Alfons
openaire +2 more sources