Using the B Method for the Formalization of Coordinated Atomic Actions

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Language Studies, Linguistics, Programming Languages +7

Error recovery in asynchronous systems

Roy H. Campbell, Brian Randell · IEEE Transactions on Software Engineering · 1986 · 172 citations

Computing, Computer Engineering, Computer Science +12

Fault tolerance in concurrent object-oriented software through coordinated error recovery

Jie Xu, Brian Randell, Alexander Romanovsky et al. · 2002 · 161 citations

Computing, Computer Science, Computer Systems +17

Coordinated forward error recovery for composite Web services

Valérie Issarny, Ferda Tartanoglu, Alexander Romanovsky et al. · 2004 · 84 citations · Full text

Computing, Computer Systems, Systems Engineering +13

Rigorous development of an embedded fault-tolerant system based on coordinated atomic actions

Jianliang Xu, Brian Randell, Alexander Romanovsky et al. · IEEE Transactions on Computers · 2002 · 36 citations · Full text

Engineering, Computer Science, Systems Engineering +17