Publication:
Verification of concurrent programs via refinement proofs

Simple item page
dc.contributor.advisorGürsoy, Attila
dc.contributor.advisorEnea, Constantin
dc.contributor.departmentGraduate School of Sciences and Engineering
dc.contributor.kuauthorMutluergil, Süha Orhun
dc.contributor.programComputer Science and Engineering
dc.contributor.schoolcollegeinstituteGRADUATE SCHOOL OF SCIENCES AND ENGINEERING
dc.coverage.spatialİstanbul
dc.date.accessioned2024-11-09T21:57:59Z
dc.date.issued2018
dc.format.extentxvii, 134 leaves : illustrations ; 30 cm.
dc.identifier.urihttps://hdl.handle.net/20.500.14288/4527
dc.language.isoeng
dc.publisherKoç University
dc.relation.collectionKU Theses and Dissertations
dc.rightsrestrictedAccess
dc.rights.copyrightsnote© All Rights Reserved. Accessible to Koç University Affiliated Users Only!
dc.subjectComputer multitasking
dc.subjectComputer multitasking Software
dc.subjectElectronic data processing
dc.subjectMulti-core processors
dc.subjectConcurrent libraries
dc.subjectKoşut zamanlı yazılım kütüphaneleri
dc.subjectProgrammers
dc.titleVerification of concurrent programs via refinement proofs
dc.typeThesis
dspace.entity.typePublication
local.contributor.kuauthorMutluergil, Süha Orhun
relation.isAdvisorOfThesise286a571-a9a0-4760-8587-d3cafb01d5db
relation.isAdvisorOfThesis.latestForDiscoverye286a571-a9a0-4760-8587-d3cafb01d5db
relation.isOrgUnitOfPublication3fc31c89-e803-4eb1-af6b-6258bc42c3d8
relation.isOrgUnitOfPublication.latestForDiscovery3fc31c89-e803-4eb1-af6b-6258bc42c3d8
relation.isParentOrgUnitOfPublication434c9663-2b11-4e66-9399-c863e2ebae43
relation.isParentOrgUnitOfPublication.latestForDiscovery434c9663-2b11-4e66-9399-c863e2ebae43

Files

Original bundle

Now showing 1 - 1 of 1
Placeholder
Name:
27735.pdf
Size:
1.63 MB
Format:
Adobe Portable Document Format
Download

Collections

Theses & Dissertations