Title: | Faster Linearizability Checking via P-Compositionality |
---|---|
Links: | Homepage Document as PDF |
Authors: | Alex Horn |
Daniel Kroening EMail | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{hk2015-forte2, AUTHOR = { Horn, Alex and Kroening, Daniel }, TITLE = { Faster Linearizability Checking via {P}-Compositionality }, BOOKTITLE = { Federated Conference on Distributed Computing Techniques (FORTE) }, YEAR = { 2015 }, PUBLISHER = { Springer }, PAGES = { 50--65 }, SERIES = { LNCS }, VOLUME = { 9039 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.