11112 search results - page 2 / 2223 » Computing Stuttering Simulations |
96
Voted
CHARME
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
100
Voted
SPRINGSIM
2010
15 years 19 days ago
2010
86
Voted
SPRINGSIM
2010
15 years 19 days ago
2010
134
Voted
SPRINGSIM
2010
15 years 4 days ago
2010
104
click to vote
LICS
1996
IEEE
15 years 6 months ago
1996
IEEE
We present a formal model for concurrent systems. The model represents synchronous and asynchronous components in a uniform framework that supports compositional (assume-guarantee)...