The following pages link to Kilim (Q32049):
Displaying 6 items.
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model (Q1651013) (← links)
- Bestow and atomic: concurrent programming using isolation, delegation and grouping (Q1785860) (← links)
- Continuation-passing C, compiling threads to events through continuations (Q1929338) (← links)
- Rely-guarantee termination and cost analyses of loops with concurrent interleavings (Q2398172) (← links)
- (Q2981009) (← links)
- A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell* (Q4988924) (← links)
