220 search results - page 16 / 44 » tcs 2008 |
TCS
2002
14 years 9 months ago
2002
The language property of error-detection ensures that the communications medium cannot transform a word of the language to another word of the language. In this paper we provide s...
TCS
2002
14 years 9 months ago
2002
oole.stanford.edu/pub/ABSTRACTS Pratt, V.R., "Transition and Cancellation in Concurrency and Branching Time", Math. Structures in Comp. Sci., 13:4, 485-529, August 2003. ...
TCS
2008
14 years 10 months ago
2008
Soittola's theorem characterizes R+- or N-rational formal power series in one variable among the rational formal power series with nonnegative coefficients. We present here a...
TCS
2008
14 years 10 months ago
2008
Graph searching encompasses a wide variety of combinatorial problems related to the problem of capturing a fugitive residing in a graph using the minimum number of searchers. In t...
TCS
2008
14 years 10 months ago
2008
We provide translations between process algebra and systems of chemical reactions. We show that the translations preserve discrete-state (stochastic) and continuous-state (concent...