Laws and semantics for rely-guarantee refinement (2014)
Attributed to:
Taming Concurrency
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://www.cs.ncl.ac.uk/research/pubs/trs/papers/1425.pdf
Type: Technical Report
Volume: CS-TR-1425