Deadlock Freedom in Actor Languages

Authors
Wilkerson, Andrew, Taylor
ORCID
Loading...
Thumbnail Image
Other Contributors
Varela, Carlos
Issue Date
2023-12
Keywords
Computer science
Degree
Terms of Use
Full Citation
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
Department
Publisher
Relationships
Access
Collections