𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study

✍ Scribed by Anna Pogosyants; Roberto Segala; Nancy Lynch

Book ID
105746225
Publisher
Springer-Verlag
Year
2000
Tongue
English
Weight
436 KB
Volume
13
Category
Article
ISSN
0178-2770

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Verification of landslide susceptibility
Verification of landslide susceptibility mapping: a case study
✍ FernΓ‘ndez, Clemente Irigaray; Del Castillo, TomΓ‘s FernΓ‘ndez; Hamdouni, Rachid El πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 404 KB πŸ‘ 1 views

A methodology is proposed for mapping susceptibility to landsliding and validating the results. Heavy rains in late 1996 and early 1997 led to a large number of landslides in the Rute sector (CoΓ‚ rdoba, Southern Spain), where landslide susceptibility mapping had previously been carried out using a `

Using temporal logics of knowledge for s
Using temporal logics of knowledge for specification and verificationβ€”a case study
✍ Clare Dixon πŸ“‚ Article πŸ“… 2006 πŸ› Elsevier Science 🌐 English βš– 201 KB

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temp