Hongjin Liang

Available identifiers

zbMath Open liang.hongjinMaRDI QIDQ1623167

List of research outcomes

Publication	Date of Publication	Type
Non-preemptive semantics for data-race-free programs	2018-11-23	Paper
Compositional verification of termination-preserving refinement of concurrent programs	2018-04-23	Paper
A program logic for concurrent objects under fair scheduling	2016-10-24	Paper
A rely-guarantee-based simulation for verifying concurrent program transformations	2015-09-11	Paper
Characterizing Progress Properties of Concurrent Objects via Contextual Refinements	2013-08-12	Paper

Research outcomes over time

This page was built for person: Hongjin Liang