Kilim
From MaRDI portal
Software:32049
swMATH20229MaRDI QIDQ32049FDOQ32049
Author name not available (Why is that?)
Cited In (6)
- Title not available (Why is that?)
- A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell*
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model
- Bestow and atomic: concurrent programming using isolation, delegation and grouping
- Continuation-passing C, compiling threads to events through continuations
- Rely-guarantee termination and cost analyses of loops with concurrent interleavings
This page was built for software: Kilim