3 papers
cs.DC2021
Supporting and Controlling Complex Concurrency in Fault- Tolerant Distributed Systems
Jie Xu, Brian Randell, Alexander Romanovsky +2
Distributed computing often gives rise to complex concurrent and interacting activities. In some cases several concurrent activities may be working together, i.e. cooperating, to s…
cs.SE2014
The Tenth European Dependable Computer Conference
Alexander Romanovsky, Marc-Olivier Killijian
The 21st century society relies on computing systems more than ever. Computers are no longer simply machines that are used by organizations or at home. They are embedded everywhere…
cs.SE2012
Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)
Fuyuki Ishikawa, Alexander Romanovsky
These proceedings include papers presented at the Workshop on "The experience of and advances in developing dependable systems in Event-B" held on November 13, 2012 as part of the…