Nominal domain theory for concurrency

David Christopher Turner. Nominal domain theory for concurrency. PhD thesis, University of Cambridge, UK, 2009. [doi]

Abstract

Abstract is missing.