100 search results - page 7 / 20 » Strict Basic Superposition |
145
Voted
CONCUR
2008
Springer
15 years 8 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...
237
Voted
SCL
2008
15 years 6 months ago
2008
The objective of this note is to prove, under certain technical conditions, that the top-Lyapunov exponent of a strictly stationary random sequence of block-triangular matrices is...
173
Voted
FORMATS
2007
Springer
16 years 16 days ago
2007
Springer
The basic modal operator bounded until of Metric Temporal Logic (MTL) comes in several variants. In particular it can be strict (when it does not constrain the current instant) or...
175
Voted
FMCO
2009
Springer
15 years 4 months ago
2009
Springer
The main characteristics of component models is their strict structure enabling better code reuse. Correctness of component composition is well understood formally but existing wor...
147
Voted
MFCS
2007
Springer
16 years 15 days ago
2007
Springer
A framework for analyzing the computational capabilities and the limitations of the evolutionary process of random change guided by selection was recently introduced by Valiant [V...