44 search results - page 3 / 9 » Kleene Theorems for Product Systems |
CAI
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. The concatenation product is one of the most important operations on regular languages. Its study requires sophisticated tools from algebra, finite model theory and pro...
CRYPTO
2009
Springer
14 years 23 days ago
2009
Springer
JUCS
2008
13 years 6 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
CRYPTO
2007
Springer
14 years 11 days ago
2007
Springer
Consider a challenge-response protocol where the probability of a correct response is at least α for a legitimate user and at most β < α for an attacker. One example is a CAP...
LICS
2010
IEEE
13 years 4 months ago
2010
IEEE
Stream circuits are a convenient graphical way to represent streams (or stream functions) computed by finite dimensional linear systems. We present a sound and complete expression...