284 followers
Partial-Order Methods for the Verification of Concurrent Systems https://t.co/e4oYBrehXs 元は博論らしいけど結構面白そうな予感がしてる（というか知らないと不味そうな気がしてる）
Partial-Order Methods for the Verification of Concurrent Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 28 Introduction
-
Altmetric BadgeChapter 29 Concurrent systems and semantics
-
Altmetric BadgeChapter 30 Using partial orders to tackle state explosion
-
Altmetric BadgeChapter 31 Persistent sets
-
Altmetric BadgeChapter 32 Sleep sets
-
Altmetric BadgeChapter 33 Verification of safety properties
-
Altmetric BadgeChapter 34 Model checking
-
Altmetric BadgeChapter 35 Experiments
-
Altmetric BadgeChapter 36 Conclusions
Altmetric Badge
About this Attention Score
-
Good Attention Score compared to outputs of the same age (79th percentile)
-
Good Attention Score compared to outputs of the same age and source (71st percentile)
Citations
- dimensions_citation
- 544 Dimensions
Readers on
- mendeley
- 18 Mendeley
- citeulike
- 1 CiteULike