UID:
kobvindex_HPB1246573574
Format:
1 online resource (216 p.)
ISBN:
9789179296971
,
9179296971
Note:
Description based upon print version of record.
,
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
Additional Edition:
Print version: Ganjei, Zeinab Parameterized Verification of Synchronized Concurrent Programs Linköping : Linköping University Electronic Press,c2021
Language:
Swedish
Keywords:
Electronic books.
URL:
Click here to view book