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
Publication Date
Language
English
Type
Journal Title
Journal ISSN
Volume Title
Abstract
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