2436 search results - page 128 / 488 » Comonadic Notions of Computation |
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...
155
click to vote
CIE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generaliz...
144
click to vote
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Working in the context of a process-algebraic language for Probabilistic I/O Automata (PIOA), we study the notion of PIOA behavior equivalence by obtaining a complete axiomatizatio...
141
click to vote
ERSHOV
2006
Springer
15 years 7 months ago
2006
Springer
Information systems support data privacy by constraining user's access to public views and thereby hiding the non-public underlying data. The privacy problem is to prove that ...
138
click to vote
IFIPTCS
2000
15 years 7 months ago
2000
Over the years coding theory and complexity theory have benefited from a number of mutually enriching connections. This article focuses on a new connection that has emerged betwee...