220 search results - page 16 / 44 » tcs 2008 |
TCS
2002
13 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
13 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
13 years 9 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
13 years 9 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
13 years 9 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...