Types for progress in actor programs (Q6199113)
From MaRDI portal
scientific article; zbMATH DE number 7808788
Language | Label | Description | Also known as |
---|---|---|---|
English | Types for progress in actor programs |
scientific article; zbMATH DE number 7808788 |
Statements
Types for progress in actor programs (English)
0 references
23 February 2024
0 references
concurrency
0 references
actors
0 references
liveness
0 references
typestate
0 references