Part III · cs.DCChannels, Actors, and Shared StateMatthew Long · 29 pagesDownload PDFCodeTable of contents1 Introduction1.1 Results1.2 Relation to prior work2 Setting2.1 Imported foundations2.2 Processes and the wiring category3 Delayed feedback4 Channels, objects and interleaving4.1 Channels4.2 Scheduling4.3 The shuffle law4.4 The concurrent semiring5 Actors6 Shared state6.1 Blackboards6.2 Tuple spaces7 Session types and deadlock freedom8 The approval gate9 Worked examples9.1 A writer and a reviewer9.2 A blackboard with two knowledge sources9.3 A work queue, twice10 Limitations11 ConclusionReferences12 Code evidenceJavaScript is required to display this paper inline. Download the PDF instead.