Capability-Based Type Systems for Concurrency Control

Elias Castegren. Capability-Based Type Systems for Concurrency Control. PhD thesis, Uppsala University, Sweden, 2018. [doi]

Abstract

Abstract is missing.