744 search results - page 29 / 149 » Observations on the Decidability of Transitions |
CONCUR
2004
Springer
14 years 24 days 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...
FOSSACS
2006
Springer
14 years 21 days ago
2006
Springer
Abstract. We answer an open question related to bisimilarity checking on labelled transition systems generated by prefix rewrite rules on words. Stirling (1996, 1998) proved the de...
ICFCA
2004
Springer
14 years 2 months ago
2004
Springer
Based on the conceptual representation of objects in space and time as introduced in Temporal Concept Analysis first steps are done into the direction of a conceptual theory of ...
ECAL
2003
Springer
14 years 2 months ago
2003
Springer
We demonstrate a simple artificial chemistry environment in which two small evolutionary transitions from the simplest self-replicators to larger ones are observed. The replicator...
CONCUR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on tr...