<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.40.1 (20161225.0304)
 -->
<!-- Title: Concurrency Pages: 1 -->
<svg width="211pt" height="134pt"
 viewBox="0.00 0.00 211.00 134.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 130)">
<title>Concurrency</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-130 207,-130 207,4 -4,4"/>
<!-- Node3 -->
<g id="node1" class="node">
<title>Node3</title>
<g id="a_node1"><a xlink:href="a01478.html" target="_top" xlink:title=" ">
<polygon fill="#ffffff" stroke="#000000" points="179,-126 129,-126 129,-108 179,-108 179,-126"/>
<text text-anchor="middle" x="154" y="-114.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Threads</text>
</a>
</g>
</g>
<!-- Node2 -->
<g id="node2" class="node">
<title>Node2</title>
<g id="a_node2"><a xlink:href="a01472.html" target="_top" xlink:title=" ">
<polygon fill="#ffffff" stroke="#000000" points="177.5,-90 130.5,-90 130.5,-72 177.5,-72 177.5,-90"/>
<text text-anchor="middle" x="154" y="-78.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Futures</text>
</a>
</g>
</g>
<!-- Node1 -->
<g id="node3" class="node">
<title>Node1</title>
<g id="a_node3"><a xlink:href="a01471.html" target="_top" xlink:title=" ">
<polygon fill="#ffffff" stroke="#000000" points="203,-54 105,-54 105,-36 203,-36 203,-54"/>
<text text-anchor="middle" x="154" y="-42.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Condition Variables</text>
</a>
</g>
</g>
<!-- Node0 -->
<g id="node4" class="node">
<title>Node0</title>
<g id="a_node4"><a xlink:title=" ">
<polygon fill="#bfbfbf" stroke="#000000" points="69,-72 0,-72 0,-54 69,-54 69,-72"/>
<text text-anchor="middle" x="34.5" y="-60.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Concurrency</text>
</a>
</g>
</g>
<!-- Node0&#45;&gt;Node3 -->
<g id="edge3" class="edge">
<title>Node0&#45;&gt;Node3</title>
<path fill="none" stroke="#000000" d="M59.7602,-76.8304C73.0406,-83.8624 89.6991,-92.3118 105,-99 112.6398,-102.3394 121.1168,-105.6033 128.8427,-108.4147"/>
<polygon fill="#000000" stroke="#000000" points="61.2224,-73.6431 50.7548,-72.0059 57.9168,-79.8135 61.2224,-73.6431"/>
</g>
<!-- Node0&#45;&gt;Node2 -->
<g id="edge2" class="edge">
<title>Node0&#45;&gt;Node2</title>
<path fill="none" stroke="#000000" d="M79.0798,-69.715C96.537,-72.3445 115.8444,-75.2527 130.4865,-77.4582"/>
<polygon fill="#000000" stroke="#000000" points="79.4741,-66.2349 69.0644,-68.2063 78.4315,-73.1569 79.4741,-66.2349"/>
</g>
<!-- Node0&#45;&gt;Node1 -->
<g id="edge1" class="edge">
<title>Node0&#45;&gt;Node1</title>
<path fill="none" stroke="#000000" d="M79.0593,-56.2881C87.4683,-55.0215 96.3073,-53.6901 104.8478,-52.4037"/>
<polygon fill="#000000" stroke="#000000" points="78.4315,-52.8431 69.0644,-57.7937 79.4741,-59.7651 78.4315,-52.8431"/>
</g>
<!-- Node4 -->
<g id="node5" class="node">
<title>Node4</title>
<g id="a_node5"><a xlink:href="a01498.html" target="_top" xlink:title=" ">
<polygon fill="#ffffff" stroke="#000000" points="179.5,-18 128.5,-18 128.5,0 179.5,0 179.5,-18"/>
<text text-anchor="middle" x="154" y="-6.8" font-family="Helvetica,sans-Serif" font-size="9.00" fill="#000000">Mutexes</text>
</a>
</g>
</g>
<!-- Node0&#45;&gt;Node4 -->
<g id="edge4" class="edge">
<title>Node0&#45;&gt;Node4</title>
<path fill="none" stroke="#000000" d="M59.7602,-49.1696C73.0406,-42.1376 89.6991,-33.6882 105,-27 112.4737,-23.7332 120.7487,-20.5386 128.3378,-17.7692"/>
<polygon fill="#000000" stroke="#000000" points="57.9168,-46.1865 50.7548,-53.9941 61.2224,-52.3569 57.9168,-46.1865"/>
</g>
</g>
</svg>