<?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.34.0 (20131019.2037) --> <!-- Title: Threads Pages: 1 --> <svg width="164pt" height="26pt" viewBox="0.00 0.00 164.00 26.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 22)"> <title>Threads</title> <polygon fill="white" stroke="white" points="-4,4 -4,-22 160,-22 160,4 -4,4"/> <!-- Node0 --> <g id="node1" class="node"><title>Node0</title> <polygon fill="#bfbfbf" stroke="black" points="106,-0 106,-18 156,-18 156,-0 106,-0"/> <text text-anchor="middle" x="131" y="-6.8" font-family="FreeSans" font-size="9.00">Threads</text> </g> <!-- Node1 --> <g id="node2" class="node"><title>Node1</title> <g id="a_node2"><a xlink:href="a01687.html" target="_top" xlink:title="Concurrency"> <polygon fill="white" stroke="black" points="0.5,-0 0.5,-18 69.5,-18 69.5,-0 0.5,-0"/> <text text-anchor="middle" x="35" y="-6.8" font-family="FreeSans" font-size="9.00">Concurrency</text> </a> </g> </g> <!-- Node1->Node0 --> <g id="edge1" class="edge"><title>Node1->Node0</title> <path fill="none" stroke="midnightblue" d="M79.7358,-9C88.775,-9 97.976,-9 105.993,-9"/> <polygon fill="midnightblue" stroke="midnightblue" points="79.6707,-5.5001 69.6707,-9 79.6706,-12.5001 79.6707,-5.5001"/> </g> </g> </svg>