Designing an unbounded buffer in rely-guarantee /
Dias, Diego,author.
Freitas, Leo,author.
University of Newcastle upon Tyne.School of Computing Science.
Caption title.
"September 2014."