7109 search results - page 282 / 1422 » Process Algebra with Combinators |
116
Voted
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
We consider nondeterministic and probabilistic termination problems in a process algebra that is equivalent to basic chemistry. We show that the existence of a terminating computat...
153
click to vote
NETWORKING
2007
15 years 6 months ago
2007
—For networks providing QoS guarantees, this paper determines and evaluates the worst case end-to-end delays for strategies based on network coding and multiplexing. It is shown ...
123
click to vote
WOTUG
2008
15 years 6 months ago
2008
Abstract. We prove the correctness of a two-way sliding window protocol with piggybacking, where the acknowledgments of the latest received data are attached to the next data trans...
132
click to vote
ENTCS
2010
15 years 4 months ago
2010
The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the phy...
102
click to vote
ENTCS
2010
15 years 4 months ago
2010
The global states of complex systems often form pospaces, topological spaces equipped with compatible partial orders reflecting causal relationships between the states. The calcul...