×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [formal methods atomicity]
Home >
formal methods atomicity
Generalizing Transactions... [... Into a Compositional Means for Building Dependable Systems From Arbitrary Components] Andreas Reuter HPTS, September.
213 views