Kilim
From MaRDI portal
Cited in
(18)- scientific article; zbMATH DE number 6712238 (Why is no real title available?)
- Parallel actor monitors: disentangling task-level parallelism from data partitioning in the actor model
- IC2D
- Goblint
- HAVOC
- RELAY
- ABS
- JCobox
- SACO
- Syco
- Rover
- AmbientTalk
- Akka
- Lwt
- 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
- A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell
This page was built for software: Kilim
