Moving Around: Lipton's Reduction for TSO
Attributed to:
REMS: Rigorous Engineering for Mainstream Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-29613-5_10
Publication URI: http://dx.doi.org/10.1007/978-3-319-29613-5_10
Type: Book Chapter
Book Title: Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers (2016)
Page Reference: 165-182
ISBN: 978-3-319-29612-8