Publication: Towards verifying eventually consistent applications
| dc.contributor.coauthor | N/A | |
| dc.contributor.department | Department of Computer Engineering | |
| dc.contributor.kuauthor | Özkan, Burcu Külahcıoğlu | |
| dc.contributor.kuauthor | Mutlu, Erdal | |
| dc.contributor.kuauthor | Taşıran, Serdar | |
| dc.contributor.kuprofile | PhD Student | |
| dc.contributor.kuprofile | PhD Student | |
| dc.contributor.kuprofile | Faculty Member | |
| dc.contributor.yokid | N/A | |
| dc.contributor.yokid | N/A | |
| dc.contributor.yokid | N/A | |
| dc.date.accessioned | 2024-11-10T00:09:29Z | |
| dc.date.issued | 2014 | |
| dc.description.abstract | N/A | |
| dc.description.indexedby | Scopus | |
| dc.description.openaccess | YES | |
| dc.description.publisherscope | International | |
| dc.description.sponsorship | Basho Technologies | |
| dc.description.sponsorship | Rovio Entertainement | |
| dc.description.sponsorship | Trifork A/S | |
| dc.identifier.doi | 10.1145/2596631.2596638 | |
| dc.identifier.link | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84900452371&doi=10.1145%2f2596631.2596638&partnerID=40&md5=ff2bc2b0fffc86cafb829ad1496b0871 | |
| dc.identifier.scopus | 2-s2.0-84900452371 | |
| dc.identifier.uri | http://dx.doi.org/10.1145/2596631.2596638 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14288/17138 | |
| dc.keywords | N/A | |
| dc.language | English | |
| dc.publisher | Association for Computing Machinery | |
| dc.source | Proceedings of the 1st Workshop on the Principles and Practice of Eventual Consistency, PaPEC 2014 | |
| dc.subject | Computer engineering | |
| dc.title | Towards verifying eventually consistent applications | |
| dc.type | Conference proceeding | |
| dspace.entity.type | Publication | |
| local.contributor.authorid | 0000-0002-7038-165X | |
| local.contributor.authorid | 0000-0001-7472-3621 | |
| local.contributor.authorid | N/A | |
| local.contributor.kuauthor | Özkan, Burcu Külahcıoğlu | |
| local.contributor.kuauthor | Mutlu, Erdal | |
| local.contributor.kuauthor | Taşıran, Serdar | |
| local.publication.orgunit1 | Graduate School of Sciences and Engineering | |
| local.publication.orgunit1 | College of Engineering | |
| local.publication.orgunit2 | Department of Computer Engineering | |
| relation.isOrgUnitOfPublication | 89352e43-bf09-4ef4-82f6-6f9d0174ebae | |
| relation.isOrgUnitOfPublication.latestForDiscovery | 89352e43-bf09-4ef4-82f6-6f9d0174ebae |