Gürsoy, AttilaEnea, ConstantinMutluergil, Süha Orhun2024-11-092018https://hdl.handle.net/20.500.14288/4527xvii, 134 leaves : illustrations ; 30 cm.restrictedAccessComputer multitaskingComputer multitasking SoftwareElectronic data processingMulti-core processorsConcurrent librariesKoşut zamanlı yazılım kütüphaneleriProgrammersVerification of concurrent programs via refinement proofsThesis© All Rights Reserved. Accessible to Koç University Affiliated Users Only!