1390 search results - page 138 / 278 » On the Algebraic Structure of Convergence |
165
click to vote
JLP
2007
15 years 6 months ago
2007
This paper is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow a recent theory by the same authors and previously applied to the...
158
click to vote
ACS
2002
15 years 6 months ago
2002
We define the notions of Azumaya category and Brauer group in category theory enriched over some very general base category V. We prove the equivalence of various definitions, in ...
201
click to vote
IANDC
2010
15 years 3 months ago
2010
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
284
click to vote
COCOA
2011
Springer
14 years 6 months ago
2011
Springer
The work in this paper is to initiate a theory of testing monomials in multivariate polynomials. The central question is to ask whether a polynomial represented by certain economi...
185
click to vote
CRYPTO
2011
Springer
14 years 6 months ago
2011
Springer
In this paper, we describe versatile and powerful algorithms for searching guess-and-determine and meet-in-the-middle attacks on byte-oriented symmetric primitives. To demonstrate ...