A separation logic for fictional sequential consistency

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publication Programming Languages and Systems : 24th European Symposiumon Programming, ESOP 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015
EditorsJan Vitek
Number of pages26
PublisherSpringer
Publication year2015
Pages736-761
ISBN (print)9783662466681
DOIs
Publication statusPublished - 2015
EventEuropean Symposium on Programming - London, United Kingdom
Duration: 11 Apr 201518 Apr 2015
Conference number: 24

Conference

ConferenceEuropean Symposium on Programming
Nummer24
LandUnited Kingdom
ByLondon
Periode11/04/201518/04/2015
SeriesLecture Notes in Computer Science
Volume9032
ISSN0302-9743

See relations at Aarhus University Citationformats

ID: 91067010