Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

JPDC
2002

favoriteEmaildiscussreport

42views more JPDC 2002»

Stabilization-Preserving Atomicity Refinement

13 years 4 months ago

Stabilization-Preserving Atomicity Refinement

Download ceti.cse.ohio-state.edu

Mikhail Nesterenko, Anish Arora

Real-time Traffic

JPDC 2002 |

claim paper

Related Content

» Applying EventB Atomicity Decomposition to a Multi Media Protocol

» Atomic actions and their refinements to isolated protocols

» Lattice model refinement of protein structures

» Can Refinement be Automated

» A Foundation for Refining Concurrent Objects

» Transformations for WriteAllwithCollision Model

» On the Refinement of Atomic Actions

» A challenge for atomicity verification

» ASM Refinement Preserving Invariants

Post Info
More Details (n/a)

Added	22 Dec 2010
Updated	22 Dec 2010
Type	Journal
Year	2002
Where	JPDC
Authors	Mikhail Nesterenko, Anish Arora

Comments (0)