349 search results - page 8 / 70 » The Finite and the Infinite |
CP
2000
Springer
15 years 2 months ago
2000
Springer
We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relation symbol and function symbols taken from an infi...
SOFSEM
1997
Springer
15 years 2 months ago
1997
Springer
Abstract. We examine the problem of finite-state representability of infinitestate processes w.r.t. certain behavioural equivalences. We show that the classical notion of regularit...
FORMATS
2008
Springer
15 years 1 days ago
2008
Springer
We study the problems of existence and construction of infinite schedules for finite weighted automata and one-clock weighted timed automata, subject to boundary constraints on the...
CONCUR
2004
Springer
15 years 2 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
63
Voted
EJC
2008
14 years 10 months ago
2008