34 search results - page 1 / 7 » Stabilization-Preserving Atomicity Refinement |
JPDC
2002
13 years 10 months ago
2002
FMCO
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
FAC
2010
13 years 8 months ago
2010
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
To find the best lattice model representation of a given full atom protein structure is a hard computational problem. Several greedy methods have been suggested where results are ...
ENTCS
2008
13 years 11 months ago
2008
We automatically verify Back's atomicity refinement law and a classical data refinement law for action systems. Our novel approach mechanises a refinement calculus based on K...