4666 search results - page 3 / 934 » Equations on Timed Languages |
BIRTHDAY
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
AMCS
2010
13 years 5 months ago
2010
IFIP
2004
Springer
13 years 11 months ago
2004
Springer
We analyze an algebraic representation of AES–128 as an embedding in BES, due to Murphy and Robshaw. We present two systems of equations S and K concerning encryption and key gen...
MFCS
2004
Springer
13 years 11 months ago
2004
Springer
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...
AMC
2007
13 years 5 months ago
2007
We prove several growth theorems for second-order dynamic equations on time scales. These theorems contain as special cases results for second-order differential equations, diff...