Skip to content

Deadlock and lock freedom in the linear π-calculus.

Luca Padovani

VenueBCSL
Year2014
ProceedingsCSL-LICS

Browse the full CSL paper archive.