Kilim
From MaRDI portal
Software:32049
No author found.
Related Items (6)
Unnamed Item ⋮ Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model ⋮ Rely-guarantee termination and cost analyses of loops with concurrent interleavings ⋮ Continuation-passing C, compiling threads to events through continuations ⋮ Bestow and atomic: concurrent programming using isolation, delegation and grouping ⋮ A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell*
This page was built for software: Kilim
