These are papers relevant to concurrency research. For a full list of all my papers, go to this page.
Jones, C.B. and Yatapanage, N. Reasoning about Separation using Abstraction and Reification, SEFM 2015, Proceedings,
Springer-Verlag, Vol.9276, To Appear. 2015.
View technical report version.
Jones, C. B. and Yatapanage, N. Reasoning about Separation using Abstraction and Reification (with proofs), Newcastle University Department of Computing Science Technical Report, No. 1472, June 2015.
Download from Newcastle Uni. (older version is TR no. 1447, Tackling Separation via Abstraction (with proofs), Jan 2015).
Seminar: Separation as Abstraction, York Concurrency Workshop, 2014. View the slides.