222 search results - page 2 / 45 » On the Refinement of Atomic Actions |
ENTCS
2006
13 years 5 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...
IFM
2009
Springer
13 years 3 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...
FMCO
2009
Springer
13 years 3 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...
ICDCS
1990
IEEE
13 years 9 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...
JPDC
2002
13 years 5 months ago
2002