4485 search results - page 276 / 897 » Equivalences on Observable Processes |
133
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The Ambient Logic (AL) has been proposed for expressing properties of process mobility in the calculus of Mobile Ambients (MA), and as a basis for query languages on semi...
128
click to vote
SAJ
2000
15 years 4 months ago
2000
This paper presents algebraic results that are important for the extended tyft/tyxt format [12, 13] which can be used to describe many different process algebras. This format is b...
152
click to vote
ICC
2009
IEEE
15 years 2 months ago
2009
IEEE
A discrete (binary-input 2q -ary output) communication channel with memory is introduced with the objective to judiciously capture both the statistical memory and the soft-decision...
127
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
: The Borowsky-Gafni (BG) simulation algorithm is a powerful reduction algorithm that shows that t-resilience of decision tasks can be fully characterized in terms of wait-freedom....
138
click to vote
ICIP
2008
IEEE
16 years 6 months ago
2008
IEEE
We present an improved statistical model of Poisson processes, with applications in photon-limited imaging. We build on previous work, adopting a multiscale representation of the ...