12115 search results - page 17 / 2423 » Bisimulation of Dynamical Systems |
101
click to vote
FOSSACS
2010
Springer
15 years 8 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
90
Voted
SEFM
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
102
Voted
APLAS
2007
ACM
15 years 5 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
137
click to vote
LICS
1991
IEEE
15 years 5 months ago
1991
IEEE
Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we ...
103
Voted
FORTE
1990
15 years 3 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...