2436 search results - page 134 / 488 » Comonadic Notions of Computation |
135
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
136
click to vote
ENTCS
2007
15 years 4 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
136
click to vote
CSL
2005
Springer
15 years 9 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
126
click to vote
HUC
1999
Springer
15 years 8 months ago
1999
Springer
Many novel applications take on the task of moving the personal computer away from the desktop with the approach to merge digital information with physical space and objects. These...
156
click to vote
TCS
2011
14 years 11 months ago
2011
Let F be a cellular automaton (CA). This paper establishes necessary conditions for F in order to be intrinsically universal. The central idea is to consider the communication com...