Sciweavers

5149 search results - page 19 / 1030
» Timed Asynchronous Distributed Systems
Sort
View
AC
1999
Springer
13 years 12 months ago
Consensus in Asynchronous Distributed Systems: A Concise Guided Tour
Abstract. It is now recognized that the Consensus problem is a fundamental problem when one has to design and implement reliable asynchronous distributed systems. This chapter is o...
Rachid Guerraoui, Michel Hurfin, Achour Most&eacut...
CAV
2000
Springer
94views Hardware» more  CAV 2000»
13 years 12 months ago
IF: A Validation Environment for Timed Asynchronous Systems
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu...