12 citations · 15 across the 6 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.SE2011
Refinement for Probabilistic Systems with Nondeterminism
Steve Reeves, David Streader
Before we combine actions and probabilities two very obvious questions should be asked. Firstly, what does "the probability of an action" mean? Secondly, how does probability inter…
cs.SE2011★ 1 cited
Proceedings 15th International Refinement Workshop
John Derrick, Eerke Boiten, Steve Reeves
Refinement is one of the cornerstones of a formal approach to software engineering: the process of developing a more detailed design or implementation from an abstract specificatio…