Deadlock Freedom in Actor Languages
Loading...
Authors
Wilkerson, Andrew, Taylor
Issue Date
2023-12
Type
Thesis
Language
en_US
Keywords
Computer science
Alternative Title
Abstract
We introduce a framework using session types for denoting the relationships between multiple actors in a system. We prove that ascribing to this framework guarantees deadlock freedom, and demonstrate tests of how an implementation of such would work in the SALSA language.
Description
December2023