1363 search results - page 1 / 273 » On some Relations between Dynamical Systems and Transition S... |
ICALP
1994
Springer
13 years 8 months ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
CONCUR
1998
Springer
13 years 8 months ago
1998
Springer
Alternating transition systems are a general model for composite systems which allow the study of collaborative as well as adversarial relationships between individual system compo...
FORTE
1990
13 years 5 months ago
1990
This paper describes a decision procedure for bisimulation-based equivalence relations between labeled transition systems. The algorithm usually performed in order to verify bisim...
CONCUR
2000
Springer
13 years 8 months ago
2000
Springer
We introduce some new models of infinite-state transition systems. The basic model, called a (reversal-bounded) counter machine (CM), is a nondeterministic finite automaton augment...
GI
2009
Springer
13 years 2 months ago
2009
Springer
: Both, games in a game theoretic sense and protocols in an informational sense describe rule based interactions between systems. Some similarities and differences of both approach...