11112 search results - page 2 / 2223 » Computing Stuttering Simulations |
CHARME
2003
Springer
13 years 9 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...
SPRINGSIM
2010
13 years 3 months ago
2010
SPRINGSIM
2010
13 years 3 months ago
2010
SPRINGSIM
2010
13 years 3 months ago
2010
LICS
1996
IEEE
13 years 9 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)...