Title: | Lost in Abstraction: Monotonicity in Multi-Threaded Programs |
---|---|
Links: | Homepage Document as PDF |
Authors: | Alexander Kaiser |
Daniel Kroening EMail | |
Thomas Wahl | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{kkw2014-concur, AUTHOR = { Kaiser, Alexander and Kroening, Daniel and Wahl, Thomas }, TITLE = { Lost in Abstraction: Monotonicity in Multi-Threaded Programs }, BOOKTITLE = { Concurrency Theory (CONCUR) }, YEAR = { 2014 }, PUBLISHER = { Springer }, PAGES = { 141--155 }, ISBN = { 978-3-662-44583-9 }, SERIES = { LNCS }, VOLUME = { 8704 }, EDITOR = { Paolo Baldan and Daniele Gorla }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.