0491230D-860F-49DA-9677-A5A181BD3B63Verifiably correct concurrency abstractionsResearch GrantEP/R019045/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL143704A59B267-2CEE-4E8F-9A96-31654B8A6F2BProceedings 18th Refinement Workshop PrefaceElectronic Proceedings in Theoretical Computer Science0023abac1f92a8b91b2b353e7d21f339Derrick J2018-01-01http://dx.doi.org/10.4204/eptcs.282.02075-2180http://dx.doi.org/10.4204/eptcs.282.0Journal Article/Review5c8698745aee23.75410293