Comparing type systems for deadlock freedom

Ornela Dardha, Jorge A. Pérez

OnderzoeksoutputAcademicpeer review

Originele taal-2English
Artikelnummer100717
TijdschriftThe Journal of Logical and Algebraic Methods in Programming
DOI's
StatusAccepted/In press - 10-sep-2021

Citeer dit