{
 "type": "excalidraw",
 "version": 2,
 "source": "https://excalidraw.com",
 "elements": [
  {
   "id": "r759243573",
   "type": "rectangle",
   "x": 30,
   "y": 50,
   "width": 410,
   "height": 320,
   "angle": 0,
   "strokeColor": "#e8e1d3",
   "backgroundColor": "#fbfaf6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1506642757,
   "versionNonce": 612567468,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1413205983",
   "type": "text",
   "x": 42,
   "y": 56,
   "width": 72.60000000000001,
   "height": 15.0,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 6946783,
   "versionNonce": 513777879,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Actor Model",
   "fontSize": 12,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "Actor Model",
   "lineHeight": 1.25,
   "baseline": 12
  },
  {
   "id": "r97147211",
   "type": "rectangle",
   "x": 460,
   "y": 50,
   "width": 410,
   "height": 320,
   "angle": 0,
   "strokeColor": "#e8e1d3",
   "backgroundColor": "#fbfaf6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 941907757,
   "versionNonce": 439944287,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1108626826",
   "type": "text",
   "x": 472,
   "y": 56,
   "width": 79.2,
   "height": 15.0,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 936296880,
   "versionNonce": 1439519544,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "CSP Channels",
   "fontSize": 12,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "CSP Channels",
   "lineHeight": 1.25,
   "baseline": 12
  },
  {
   "id": "r1592173220",
   "type": "rectangle",
   "x": 55,
   "y": 96,
   "width": 110,
   "height": 44,
   "angle": 0,
   "strokeColor": "#4a73b8",
   "backgroundColor": "#e8f0fb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 674565078,
   "versionNonce": 717904054,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1950321705",
   "type": "text",
   "x": 65,
   "y": 104,
   "width": 53.900000000000006,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 35374764,
   "versionNonce": 1745069127,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Actor A",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "Actor A",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t173213097",
   "type": "text",
   "x": 65,
   "y": 124,
   "width": 78.65,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1425239660,
   "versionNonce": 1647115000,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "private state",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "private state",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r986629325",
   "type": "rectangle",
   "x": 55,
   "y": 156,
   "width": 110,
   "height": 30,
   "angle": 0,
   "strokeColor": "#5a8870",
   "backgroundColor": "#d8e8df",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1642198904,
   "versionNonce": 1581064377,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t613566312",
   "type": "text",
   "x": 65,
   "y": 164,
   "width": 69.30000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 37904099,
   "versionNonce": 947939997,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "mailbox A",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "mailbox A",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r331397849",
   "type": "rectangle",
   "x": 185,
   "y": 96,
   "width": 110,
   "height": 44,
   "angle": 0,
   "strokeColor": "#4a73b8",
   "backgroundColor": "#e8f0fb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 34256443,
   "versionNonce": 160345626,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1896849968",
   "type": "text",
   "x": 195,
   "y": 104,
   "width": 53.900000000000006,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1687147751,
   "versionNonce": 871030748,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Actor B",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "Actor B",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t755388557",
   "type": "text",
   "x": 195,
   "y": 124,
   "width": 78.65,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1057178306,
   "versionNonce": 1128787699,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "private state",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "private state",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r1156857322",
   "type": "rectangle",
   "x": 185,
   "y": 156,
   "width": 110,
   "height": 30,
   "angle": 0,
   "strokeColor": "#5a8870",
   "backgroundColor": "#d8e8df",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 274146943,
   "versionNonce": 971877784,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1885682334",
   "type": "text",
   "x": 195,
   "y": 164,
   "width": 69.30000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 900406685,
   "versionNonce": 635169004,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "mailbox B",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "mailbox B",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r132300821",
   "type": "rectangle",
   "x": 315,
   "y": 96,
   "width": 110,
   "height": 44,
   "angle": 0,
   "strokeColor": "#4a73b8",
   "backgroundColor": "#e8f0fb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 889671078,
   "versionNonce": 1085538207,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1946874798",
   "type": "text",
   "x": 325,
   "y": 104,
   "width": 53.900000000000006,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1370782199,
   "versionNonce": 224798276,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Actor C",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "Actor C",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t1888799294",
   "type": "text",
   "x": 325,
   "y": 124,
   "width": 78.65,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 706531158,
   "versionNonce": 340615942,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "private state",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "private state",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "r1855436962",
   "type": "rectangle",
   "x": 315,
   "y": 156,
   "width": 110,
   "height": 30,
   "angle": 0,
   "strokeColor": "#5a8870",
   "backgroundColor": "#d8e8df",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1203100661,
   "versionNonce": 239691229,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t593055444",
   "type": "text",
   "x": 325,
   "y": 164,
   "width": 69.30000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1791133378,
   "versionNonce": 1421816843,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "mailbox C",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "mailbox C",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r650237205",
   "type": "rectangle",
   "x": 480,
   "y": 90,
   "width": 100,
   "height": 46,
   "angle": 0,
   "strokeColor": "#4a73b8",
   "backgroundColor": "#e8f0fb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 991562799,
   "versionNonce": 1284493997,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1112985199",
   "type": "text",
   "x": 490,
   "y": 98,
   "width": 69.30000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1945829923,
   "versionNonce": 708878683,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Process X",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "Process X",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r1192105286",
   "type": "rectangle",
   "x": 600,
   "y": 90,
   "width": 100,
   "height": 46,
   "angle": 0,
   "strokeColor": "#a06030",
   "backgroundColor": "#faf0e6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 860694119,
   "versionNonce": 1728603252,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t611062776",
   "type": "text",
   "x": 610,
   "y": 98,
   "width": 53.900000000000006,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 891974558,
   "versionNonce": 697931512,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "channel",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "channel",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r1281918266",
   "type": "rectangle",
   "x": 720,
   "y": 90,
   "width": 100,
   "height": 46,
   "angle": 0,
   "strokeColor": "#4a73b8",
   "backgroundColor": "#e8f0fb",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1859686731,
   "versionNonce": 11555363,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1602515041",
   "type": "text",
   "x": 730,
   "y": 98,
   "width": 69.30000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 387814411,
   "versionNonce": 226493394,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Process Y",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "Process Y",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r826327229",
   "type": "rectangle",
   "x": 480,
   "y": 190,
   "width": 90,
   "height": 36,
   "angle": 0,
   "strokeColor": "#a06030",
   "backgroundColor": "#faf0e6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1997535772,
   "versionNonce": 1577115846,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t589888532",
   "type": "text",
   "x": 490,
   "y": 198,
   "width": 46.2,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 586448042,
   "versionNonce": 952081504,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "chan A",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "chan A",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r1401550169",
   "type": "rectangle",
   "x": 605,
   "y": 190,
   "width": 90,
   "height": 36,
   "angle": 0,
   "strokeColor": "#a06030",
   "backgroundColor": "#faf0e6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 815668644,
   "versionNonce": 605918223,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t1713093552",
   "type": "text",
   "x": 615,
   "y": 198,
   "width": 46.2,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1165414542,
   "versionNonce": 31783204,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "chan B",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "chan B",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r1623268555",
   "type": "rectangle",
   "x": 730,
   "y": 190,
   "width": 90,
   "height": 36,
   "angle": 0,
   "strokeColor": "#a06030",
   "backgroundColor": "#faf0e6",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 1094579661,
   "versionNonce": 216293867,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t80436093",
   "type": "text",
   "x": 740,
   "y": 198,
   "width": 46.2,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1647791541,
   "versionNonce": 217010976,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "chan C",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "chan C",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r1191310236",
   "type": "rectangle",
   "x": 605,
   "y": 260,
   "width": 90,
   "height": 40,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "#ffffff",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 689889673,
   "versionNonce": 615811905,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t246337027",
   "type": "text",
   "x": 615,
   "y": 268,
   "width": 46.2,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 186639932,
   "versionNonce": 1247382349,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "select",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "select",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "r445947369",
   "type": "rectangle",
   "x": 605,
   "y": 330,
   "width": 90,
   "height": 40,
   "angle": 0,
   "strokeColor": "#5a8870",
   "backgroundColor": "#d8e8df",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 3
   },
   "seed": 593972125,
   "versionNonce": 73912843,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false
  },
  {
   "id": "t910997208",
   "type": "text",
   "x": 615,
   "y": 338,
   "width": 69.30000000000001,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1042752055,
   "versionNonce": 595102932,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Process Z",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "Process Z",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "a1200100092",
   "type": "arrow",
   "x": 165,
   "y": 118,
   "width": 75,
   "height": 38,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 582085136,
   "versionNonce": 117260567,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     75,
     38
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "t1185102454",
   "type": "text",
   "x": 202.5,
   "y": 123.0,
   "width": 72.60000000000001,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 745019313,
   "versionNonce": 815737027,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "send(B, msg)",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "send(B, msg)",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "a89006678",
   "type": "arrow",
   "x": 295,
   "y": 118,
   "width": 75,
   "height": 38,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 765795078,
   "versionNonce": 738078140,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     75,
     38
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "t339122042",
   "type": "text",
   "x": 332.5,
   "y": 123.0,
   "width": 72.60000000000001,
   "height": 13.75,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1476794940,
   "versionNonce": 1607530733,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "send(C, msg)",
   "fontSize": 11,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "send(C, msg)",
   "lineHeight": 1.25,
   "baseline": 11
  },
  {
   "id": "a108119640",
   "type": "arrow",
   "x": 580,
   "y": 113,
   "width": 20,
   "height": 0,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 1313904713,
   "versionNonce": 505144865,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     20,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "a98663926",
   "type": "arrow",
   "x": 700,
   "y": 113,
   "width": 20,
   "height": 0,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 86461157,
   "versionNonce": 1809856866,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     20,
     0
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "a323590180",
   "type": "arrow",
   "x": 525,
   "y": 226,
   "width": 105,
   "height": 34,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 1410524307,
   "versionNonce": 715742031,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     105,
     34
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "a648043382",
   "type": "arrow",
   "x": 650,
   "y": 226,
   "width": 0,
   "height": 34,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 1129353217,
   "versionNonce": 1818948531,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     34
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "a796994576",
   "type": "arrow",
   "x": 775,
   "y": 226,
   "width": 105,
   "height": 34,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 600586877,
   "versionNonce": 367644079,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     -105,
     34
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "a1487289059",
   "type": "arrow",
   "x": 650,
   "y": 300,
   "width": 0,
   "height": 30,
   "angle": 0,
   "strokeColor": "#2d2d2d",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 2,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": {
    "type": 2
   },
   "seed": 906214110,
   "versionNonce": 876350264,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "points": [
    [
     0,
     0
    ],
    [
     0,
     30
    ]
   ],
   "lastCommittedPoint": null,
   "startBinding": null,
   "endBinding": null,
   "startArrowhead": null,
   "endArrowhead": "arrow"
  },
  {
   "id": "t1389768633",
   "type": "text",
   "x": 450,
   "y": 16,
   "width": 492.80000000000007,
   "height": 17.5,
   "angle": 0,
   "strokeColor": "#1a1a1a",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1933535464,
   "versionNonce": 1813085892,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "Actors (addressed mailboxes) vs CSP channels (anonymous, select)",
   "fontSize": 14,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "Actors (addressed mailboxes) vs CSP channels (anonymous, select)",
   "lineHeight": 1.25,
   "baseline": 14
  },
  {
   "id": "t675998174",
   "type": "text",
   "x": 230,
   "y": 72,
   "width": 176.0,
   "height": 12.5,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 788549583,
   "versionNonce": 92750996,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "no shared locks \u2014 mailboxes only",
   "fontSize": 10,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "no shared locks \u2014 mailboxes only",
   "lineHeight": 1.25,
   "baseline": 10
  },
  {
   "id": "t833258613",
   "type": "text",
   "x": 370,
   "y": 206,
   "width": 144.375,
   "height": 13.125,
   "angle": 0,
   "strokeColor": "#c0392b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 155005534,
   "versionNonce": 1587889258,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "bounded: blocks when full",
   "fontSize": 10.5,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "bounded: blocks when full",
   "lineHeight": 1.25,
   "baseline": 10.5
  },
  {
   "id": "t903416440",
   "type": "text",
   "x": 650,
   "y": 142,
   "width": 144.375,
   "height": 13.125,
   "angle": 0,
   "strokeColor": "#c0392b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 428778664,
   "versionNonce": 1698164886,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "bounded: blocks when full",
   "fontSize": 10.5,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "bounded: blocks when full",
   "lineHeight": 1.25,
   "baseline": 10.5
  },
  {
   "id": "t1010500367",
   "type": "text",
   "x": 650,
   "y": 234,
   "width": 138.60000000000002,
   "height": 13.125,
   "angle": 0,
   "strokeColor": "#6b6b6b",
   "backgroundColor": "transparent",
   "fillStyle": "solid",
   "strokeWidth": 1,
   "strokeStyle": "solid",
   "roughness": 1,
   "opacity": 100,
   "groupIds": [],
   "frameId": null,
   "roundness": null,
   "seed": 1765622904,
   "versionNonce": 1020595037,
   "isDeleted": false,
   "boundElements": [],
   "updated": 1,
   "link": null,
   "locked": false,
   "text": "whichever is ready first",
   "fontSize": 10.5,
   "fontFamily": 1,
   "textAlign": "left",
   "verticalAlign": "top",
   "containerId": null,
   "originalText": "whichever is ready first",
   "lineHeight": 1.25,
   "baseline": 10.5
  }
 ],
 "appState": {
  "viewBackgroundColor": "#fdfbf7",
  "gridSize": null
 },
 "files": {}
}