Linearizability and Causality

First Author: Doherty S

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-41591-8_4

Publication URI: http://dx.doi.org/10.1007/978-3-319-41591-8_4

Type: Book Chapter

Book Title: Software Engineering and Formal Methods (2016)

Page Reference: 45-60

ISSN: 16113349 03029743