222 search results - page 2 / 45 » On the Refinement of Atomic Actions |
96
Voted
ENTCS
2006
15 years 1 months ago
2006
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...
115
Voted
IFM
2009
Springer
14 years 10 months ago
2009
Springer
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
155
Voted
FMCO
2009
Springer
14 years 11 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...
120
Voted
ICDCS
1990
IEEE
15 years 5 months ago
1990
IEEE
This paper develops some control structures suitable for composing fault-tolerant distrib uted applications using atomic actions (atomic transactions) as building blocks, and then...
81
Voted
JPDC
2002
15 years 23 days ago
2002