Keywords:
Electronic books
Description / Table of Contents:
Intro -- ABSTRACT -- POPULÄRVETENSKAPLIG SAMMANFATTNING -- Acknowledgments -- Contents -- List of Figures -- List of Tables -- 1 Introduction -- 2 Background -- 3 Preliminaries -- 4 Safety Verification of Phaser Programs -- 5 Safety Verification of Parameterized Phaser Programs -- 6 Counting Dynamically Synchronizing Processes -- 7 Lazy Constrained Monotonic Abstraction -- 8 Verifying Safety of Parameterized Heard-Of Algorithms -- 9 Conclusion -- Bibliography.
Type of Medium:
Online Resource
Pages:
1 online resource (216 pages)
Edition:
1st ed.
ISBN:
9789179296971
Series Statement:
Linköping University Medical Dissertations Ser. v.2125
URL:
https://ebookcentral.proquest.com/lib/kxp/detail.action?docID=6523333
Language:
English
Note:
Description based on publisher supplied metadata and other sources
Permalink