Kilim

swMATH20229MaRDI QIDQ32049FDOQ32049

Author name not available (Why is that?)

Official website: https://www.cl.cam.ac.uk/~am21/papers/ecoop08.pdf

Cited In (17)

• Title not available (Why is that?)
• 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
• Goblint
• HAVOC
• RELAY
• ABS
• JCobox
• SACO
• Syco
• Rover
• AmbientTalk
• Akka
• Lwt
• 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