Publication: Verification of concurrent programs via refinement proofs
Files
Program
Computer Science and Engineering
KU-Authors
KU Authors
Co-Authors
Authors
Mutluergil, Süha Orhun
Advisor
Gürsoy, Attila
Enea, Constantin
Publication Date
2018
Language
English
Type
Thesis
Journal Title
Journal ISSN
Volume Title
Abstract
Description
xvii, 134 leaves : illustrations ; 30 cm.
Source:
Publisher:
Koç University
Keywords:
Subject
Computer multitasking, Computer multitasking Software, Electronic data processing, Multi-core processors, Concurrent libraries, Koşut zamanlı yazılım kütüphaneleri, Programmers