Triton-private Repository branch, master, updated. e5f608f0dc391519a2d8dc41805caa5bb270a1c5

12 Mar 2012

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Triton-private Repository".

The branch, master has been updated
       via  e5f608f0dc391519a2d8dc41805caa5bb270a1c5 (commit)
      from  292f1b3acb6894678e0bd4fa1aed4fcd8d7e5704 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit e5f608f0dc391519a2d8dc41805caa5bb270a1c5
Author: Justin M Wozniak <[email protected]>
Date:   Mon Mar 12 17:37:29 2012 -0500

    Add pbranch{}; add FORK/JOIN/OR annotations

-----------------------------------------------------------------------

Summary of changes:
 papers/2011/aesop/stack.pdf |  Bin 74661 -> 84227 bytes
 papers/2011/aesop/stack.svg |  818 +++++++++++++++++++++++++++++++++----------
 2 files changed, 631 insertions(+), 187 deletions(-)


Diff of changes:

diff --git a/papers/2011/aesop/stack.pdf b/papers/2011/aesop/stack.pdf
index 2613eda..d0b4e2f 100644
Binary files a/papers/2011/aesop/stack.pdf and b/papers/2011/aesop/stack.pdf differ
diff --git a/papers/2011/aesop/stack.svg b/papers/2011/aesop/stack.svg
index 24a40e6..3a53173 100644
--- a/papers/2011/aesop/stack.svg
+++ b/papers/2011/aesop/stack.svg
@@ -11,7 +11,7 @@
    xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
    xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
    width="1625"
-   height="1040"
+   height="1200"
    id="svg2"
    version="1.1"
    inkscape:version="0.48.2 r9819"
@@ -221,7 +221,7 @@
        x2="940"
        y2="527.5"
        gradientUnits="userSpaceOnUse"
-       gradientTransform="matrix(0.99477643,-0.11909063,0.10207768,1.1605725,-893.5879,272.93639)" />
+       gradientTransform="matrix(0.99477643,-0.11909063,0.10207768,1.1605725,-989.49336,286.07025)" />
     <linearGradient
        inkscape:collect="always"
        xlink:href="#linearGradient5177-5"
@@ -349,7 +349,7 @@
        x2="940"
        y1="647.5"
        x1="1040"
-       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,42.947593,-78.858831)"
+       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,163.89252,28.936463)"
        gradientUnits="userSpaceOnUse"
        id="linearGradient3171"
        xlink:href="#linearGradient5177-5-7-0"
@@ -431,7 +431,7 @@
        x2="913.00281"
        y1="647.5"
        x1="1040"
-       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,113.81373,62.873453)"
+       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,234.75866,170.66874)"
        gradientUnits="userSpaceOnUse"
        id="linearGradient3211-5"
        xlink:href="#linearGradient5177-5-7-0-0"
@@ -513,7 +513,7 @@
        x2="913.00281"
        y1="647.5"
        x1="1040"
-       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,57.12082,-93.032061)"
+       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,178.06575,14.763233)"
        gradientUnits="userSpaceOnUse"
        id="linearGradient3293"
        xlink:href="#linearGradient5177-5-7-0-0-0"
@@ -559,7 +559,7 @@
        x2="913.00281"
        y1="647.5"
        x1="1040"
-       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,57.12082,-93.032061)"
+       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,-622.72166,-3.1107555)"
        gradientUnits="userSpaceOnUse"
        id="linearGradient3293-9"
        xlink:href="#linearGradient5177-5-7-0-0-3"
@@ -605,7 +605,7 @@
        x2="913.00281"
        y1="647.5"
        x1="1040"
-       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,57.12082,-93.032061)"
+       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,-622.72166,-3.1107555)"
        gradientUnits="userSpaceOnUse"
        id="linearGradient3293-2"
        xlink:href="#linearGradient5177-5-7-0-0-9"
@@ -1011,7 +1011,7 @@
        x2="913.00281"
        y1="647.5"
        x1="1040"
-       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,71.294048,-234.76434)"
+       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,170.97913,-229.88244)"
        gradientUnits="userSpaceOnUse"
        id="linearGradient3293-8"
        xlink:href="#linearGradient5177-5-7-0-0-51"
@@ -1057,7 +1057,7 @@
        x2="913.00281"
        y1="647.5"
        x1="1040"
-       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,71.294048,-234.76434)"
+       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,170.97913,-229.88244)"
        gradientUnits="userSpaceOnUse"
        id="linearGradient3293-1"
        xlink:href="#linearGradient5177-5-7-0-0-1"
@@ -1103,7 +1103,7 @@
        x2="913.00281"
        y1="647.5"
        x1="1040"
-       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,-13.745322,-248.93757)"
+       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,-693.5878,-159.01627)"
        gradientUnits="userSpaceOnUse"
        id="linearGradient3293-66"
        xlink:href="#linearGradient5177-5-7-0-0-94"
@@ -1437,7 +1437,7 @@
        x2="940"
        y1="647.5"
        x1="1040"
-       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,42.947594,-50.512371)"
+       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,163.89252,57.282923)"
        gradientUnits="userSpaceOnUse"
        id="linearGradient3345"
        xlink:href="#linearGradient5177-5-7-0-3"
@@ -1483,11 +1483,273 @@
        x2="913.00281"
        y1="647.5"
        x1="1040"
-       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,-141.30438,-22.165921)"
+       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,-821.14686,67.755384)"
        gradientUnits="userSpaceOnUse"
        id="linearGradient3385"
        xlink:href="#linearGradient5177-5-7-0-0-3-2"
        inkscape:collect="always" />
+    <marker
+       inkscape:stockid="TriangleOutL"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="TriangleOutL-97"
+       style="overflow:visible">
+      <path
+         id="path4855-359"
+         d="m 5.77,0 -8.65,5 0,-10 8.65,5 z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="scale(0.8,0.8)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="TriangleOutL"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="marker4462"
+       style="overflow:visible">
+      <path
+         id="path4464"
+         d="m 5.77,0 -8.65,5 0,-10 8.65,5 z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="scale(0.8,0.8)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <marker
+       inkscape:stockid="TriangleOutL"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="marker4470"
+       style="overflow:visible">
+      <path
+         id="path4472"
+         d="m 5.77,0 -8.65,5 0,-10 8.65,5 z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="scale(0.8,0.8)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <linearGradient
+       y2="507.75555"
+       x2="913.00281"
+       y1="647.5"
+       x1="1040"
+       gradientTransform="matrix(0.99477643,-0.10207768,0.10207768,0.99477643,-84.139,-73.976909)"
+       gradientUnits="userSpaceOnUse"
+       id="linearGradient3293-9-4"
+       xlink:href="#linearGradient5177-5-7-0-0-3-3"
+       inkscape:collect="always" />
+    <linearGradient
+       inkscape:collect="always"
+       id="linearGradient5177-5-7-0-0-3-3">
+      <stop
+         style="stop-color:#ffffff;stop-opacity:1;"
+         offset="0"
+         id="stop5179-4-5-6-6-00-8" />
+      <stop
+         style="stop-color:#ffffff;stop-opacity:0;"
+         offset="1"
+         id="stop5181-3-4-7-1-7-1" />
+    </linearGradient>
+    <marker
+       inkscape:stockid="TriangleOutL"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="marker4478"
+       style="overflow:visible">
+      <path
+         id="path4480"
+         d="m 5.77,0 -8.65,5 0,-10 8.65,5 z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="scale(0.8,0.8)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <linearGradient
+       inkscape:collect="always"
+       xlink:href="#linearGradient5177-2"
+       id="linearGradient5183-1"
+       x1="1040"
+       y1="647.5"
+       x2="940"
+       y2="527.5"
+       gradientUnits="userSpaceOnUse"
+       gradientTransform="matrix(0.99477643,-0.11909063,0.10207768,1.1605725,-1003.6666,286.07027)" />
+    <linearGradient
+       inkscape:collect="always"
+       id="linearGradient5177-2">
+      <stop
+         style="stop-color:#ffffff;stop-opacity:1;"
+         offset="0"
+         id="stop5179-8" />
+      <stop
+         style="stop-color:#ffffff;stop-opacity:0;"
+         offset="1"
+         id="stop5181-1" />
+    </linearGradient>
+    <marker
+       inkscape:stockid="TriangleOutL"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="TriangleOutL-70"
+       style="overflow:visible">
+      <path
+         id="path4855-86"
+         d="m 5.77,0 -8.65,5 0,-10 8.65,5 z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="scale(0.8,0.8)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <linearGradient
+       y2="527.5"
+       x2="940"
+       y1="647.5"
+       x1="1040"
+       gradientTransform="matrix(0.99477643,-0.11909063,0.10207768,1.1605725,-961.14691,328.58993)"
+       gradientUnits="userSpaceOnUse"
+       id="linearGradient4568"
+       xlink:href="#linearGradient5177-2"
+       inkscape:collect="always" />
+    <linearGradient
+       inkscape:collect="always"
+       xlink:href="#linearGradient5177-0"
+       id="linearGradient5183-4"
+       x1="1040"
+       y1="647.5"
+       x2="940"
+       y2="527.5"
+       gradientUnits="userSpaceOnUse"
+       gradientTransform="matrix(0.99477643,-0.11909063,0.10207768,1.1605725,-1003.6666,286.07027)" />
+    <linearGradient
+       inkscape:collect="always"
+       id="linearGradient5177-0">
+      <stop
+         style="stop-color:#ffffff;stop-opacity:1;"
+         offset="0"
+         id="stop5179-5" />
+      <stop
+         style="stop-color:#ffffff;stop-opacity:0;"
+         offset="1"
+         id="stop5181-7" />
+    </linearGradient>
+    <marker
+       inkscape:stockid="TriangleOutL"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="TriangleOutL-99"
+       style="overflow:visible">
+      <path
+         id="path4855-14"
+         d="m 5.77,0 -8.65,5 0,-10 8.65,5 z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="scale(0.8,0.8)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <linearGradient
+       y2="527.5"
+       x2="940"
+       y1="647.5"
+       x1="1040"
+       gradientTransform="matrix(0.99477643,-0.11909063,0.10207768,1.1605725,-961.14691,328.58993)"
+       gradientUnits="userSpaceOnUse"
+       id="linearGradient4568-2"
+       xlink:href="#linearGradient5177-0"
+       inkscape:collect="always" />
+    <linearGradient
+       inkscape:collect="always"
+       xlink:href="#linearGradient5177-3"
+       id="linearGradient5183-7"
+       x1="1040"
+       y1="647.5"
+       x2="940"
+       y2="527.5"
+       gradientUnits="userSpaceOnUse"
+       gradientTransform="matrix(0.99477643,-0.11909063,0.10207768,1.1605725,-1003.6666,286.07027)" />
+    <linearGradient
+       inkscape:collect="always"
+       id="linearGradient5177-3">
+      <stop
+         style="stop-color:#ffffff;stop-opacity:1;"
+         offset="0"
+         id="stop5179-6" />
+      <stop
+         style="stop-color:#ffffff;stop-opacity:0;"
+         offset="1"
+         id="stop5181-35" />
+    </linearGradient>
+    <marker
+       inkscape:stockid="TriangleOutL"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="TriangleOutL-76"
+       style="overflow:visible">
+      <path
+         id="path4855-42"
+         d="m 5.77,0 -8.65,5 0,-10 8.65,5 z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="scale(0.8,0.8)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <linearGradient
+       y2="527.5"
+       x2="940"
+       y1="647.5"
+       x1="1040"
+       gradientTransform="matrix(0.99477643,-0.11909063,0.10207768,1.1605725,-961.14691,328.58993)"
+       gradientUnits="userSpaceOnUse"
+       id="linearGradient4568-4"
+       xlink:href="#linearGradient5177-3"
+       inkscape:collect="always" />
+    <linearGradient
+       inkscape:collect="always"
+       xlink:href="#linearGradient5177-4"
+       id="linearGradient5183-67"
+       x1="1040"
+       y1="647.5"
+       x2="940"
+       y2="527.5"
+       gradientUnits="userSpaceOnUse"
+       gradientTransform="matrix(0.99477643,-0.11909063,0.10207768,1.1605725,-1003.6666,286.07027)" />
+    <linearGradient
+       inkscape:collect="always"
+       id="linearGradient5177-4">
+      <stop
+         style="stop-color:#ffffff;stop-opacity:1;"
+         offset="0"
+         id="stop5179-3" />
+      <stop
+         style="stop-color:#ffffff;stop-opacity:0;"
+         offset="1"
+         id="stop5181-0" />
+    </linearGradient>
+    <marker
+       inkscape:stockid="TriangleOutL"
+       orient="auto"
+       refY="0"
+       refX="0"
+       id="TriangleOutL-992"
+       style="overflow:visible">
+      <path
+         id="path4855-39"
+         d="m 5.77,0 -8.65,5 0,-10 8.65,5 z"
+         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;marker-start:none"
+         transform="scale(0.8,0.8)"
+         inkscape:connector-curvature="0" />
+    </marker>
+    <linearGradient
+       y2="527.5"
+       x2="940"
+       y1="647.5"
+       x1="1040"
+       gradientTransform="matrix(0.99477643,-0.11909063,0.10207768,1.1605725,-436.73748,311.03088)"
+       gradientUnits="userSpaceOnUse"
+       id="linearGradient4568-0"
+       xlink:href="#linearGradient5177-4"
+       inkscape:collect="always" />
   </defs>
   <sodipodi:namedview
      id="base"
@@ -1497,13 +1759,13 @@
      inkscape:pageopacity="0.0"
      inkscape:pageshadow="2"
      inkscape:zoom="0.6883404"
-     inkscape:cx="816.49415"
+     inkscape:cx="976.7537"
      inkscape:cy="515.86812"
      inkscape:document-units="px"
      inkscape:current-layer="layer1"
      showgrid="true"
-     inkscape:window-width="1600"
-     inkscape:window-height="876"
+     inkscape:window-width="1920"
+     inkscape:window-height="1176"
      inkscape:window-x="0"
      inkscape:window-y="24"
      inkscape:window-maximized="1"
@@ -1536,7 +1798,7 @@
         <dc:format>image/svg+xml</dc:format>
         <dc:type
            rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
-        <dc:title></dc:title>
+        <dc:title />
       </cc:Work>
     </rdf:RDF>
   </metadata>
@@ -1544,21 +1806,21 @@
      inkscape:label="Layer 1"
      inkscape:groupmode="layer"
      id="layer1"
-     transform="translate(42.5,-57.362183)">
+     transform="translate(42.5,102.63782)">
     <rect
        style="fill:#fcfcfc;fill-opacity:1;stroke:#000000;stroke-width:3.17159414;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:3.17159461, 3.17159461;stroke-dashoffset:0"
        id="rect5533"
-       width="1601.1024"
-       height="335.27554"
+       width="1601.5748"
+       height="311.81104"
        x="-28.326771"
-       y="530.43304"
+       y="558.77948"
        rx="43.243244"
-       ry="14.887338" />
+       ry="14.173251" />
     <rect
        style="fill:#fcfcfc;fill-opacity:1;stroke:#000000;stroke-width:2.57646298;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:2.57646335, 2.57646335;stroke-dashoffset:0"
        id="rect5533-7"
-       width="1600.4725"
-       height="141.7323"
+       width="1597.0078"
+       height="124.25199"
        x="-23.759842"
        y="944.76373"
        rx="43.243244"
@@ -1675,7 +1937,7 @@
     </g>
     <path
        style="fill:url(#linearGradient5183);fill-opacity:1;stroke:#000000;stroke-width:2.16024685;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#TriangleOutL);display:inline"
-       d="m 266.00391,673.20468 56.69292,0"
+       d="m 170.09844,686.33858 28.34645,0"
        id="path4299"
        inkscape:connector-type="polyline"
        inkscape:connector-curvature="0"
@@ -1704,17 +1966,17 @@
     <text
        sodipodi:linespacing="125%"
        id="text2985-5-2-8-5-7"
-       y="687.37793"
-       x="161.79912"
+       y="700.51178"
+       x="80.066887"
        style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
        xml:space="preserve"><tspan
-         y="687.37793"
-         x="166.79131"
+         y="700.51178"
+         x="85.059074"
          sodipodi:role="line"
          id="tspan4293-3"
          style="font-weight:bold">{ state:1 } </tspan><tspan
-         y="732.37793"
-         x="161.79912"
+         y="745.51178"
+         x="80.066887"
          sodipodi:role="line"
          id="tspan4295-5" /></text>
     <flowRoot
@@ -1730,167 +1992,167 @@
          id="flowPara4024" /></flowRoot>    <text
        sodipodi:linespacing="125%"
        id="text2985-5-2-8-5-7-0"
-       y="687.37793"
-       x="431.09045"
+       y="700.51178"
+       x="292.66531"
        style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
        xml:space="preserve"><tspan
-         y="687.37793"
-         x="436.08264"
+         y="700.51178"
+         x="297.6575"
          sodipodi:role="line"
          id="tspan4293-3-0"
          style="font-weight:bold">{ state:2 } </tspan><tspan
-         y="732.37793"
-         x="431.09045"
+         y="745.51178"
+         x="292.66531"
          sodipodi:role="line"
          id="tspan4295-5-0" /></text>
     <text
        sodipodi:linespacing="125%"
        id="text2985-5-2-8-5-7-5"
-       y="596.4173"
-       x="788.25586"
+       y="615.47247"
+       x="590.3031"
        style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
        xml:space="preserve"><tspan
-         y="596.4173"
-         x="793.24805"
+         y="615.47247"
+         x="595.29529"
          sodipodi:role="line"
          id="tspan4293-3-4"
          style="font-weight:bold">{ state:3[0] } </tspan><tspan
-         y="641.4173"
-         x="788.25586"
+         y="660.47247"
+         x="590.3031"
          sodipodi:role="line"
          id="tspan4295-5-1" /></text>
     <text
        sodipodi:linespacing="125%"
        id="text2985-5-2-8-5-7-4"
-       y="653.11017"
-       x="788.25586"
+       y="672.16534"
+       x="590.3031"
        style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
        xml:space="preserve"><tspan
-         y="653.11017"
-         x="793.24805"
+         y="672.16534"
+         x="595.29529"
          sodipodi:role="line"
          id="tspan4293-3-1"
          style="font-weight:bold">{ state:3[1] } </tspan><tspan
-         y="698.11017"
-         x="788.25586"
+         y="717.16534"
+         x="590.3031"
          sodipodi:role="line"
          id="tspan4295-5-7" /></text>
     <text
        sodipodi:linespacing="125%"
        id="text2985-5-2-8-5-7-2"
-       y="709.8031"
-       x="788.25586"
+       y="728.85828"
+       x="590.3031"
        style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
        xml:space="preserve"><tspan
-         y="709.8031"
-         x="793.24805"
+         y="728.85828"
+         x="595.29529"
          sodipodi:role="line"
          id="tspan4293-3-03"
          style="font-weight:bold">{ state:3[2] } </tspan><tspan
-         y="754.8031"
-         x="788.25586"
+         y="773.85828"
+         x="590.3031"
          sodipodi:role="line"
          id="tspan4295-5-2" /></text>
     <text
        sodipodi:linespacing="125%"
        id="text2985-5-2-8-5-7-49"
-       y="687.37793"
-       x="1068.8857"
+       y="700.51184"
+       x="1185.5786"
        style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
        xml:space="preserve"><tspan
-         y="687.37793"
-         x="1073.8779"
+         y="700.51184"
+         x="1190.5708"
          sodipodi:role="line"
          id="tspan4293-3-8"
-         style="font-weight:bold">{ state:4 } </tspan><tspan
-         y="732.37793"
-         x="1068.8857"
+         style="font-weight:bold">{ state:5 } </tspan><tspan
+         y="745.51184"
+         x="1185.5786"
          sodipodi:role="line"
          id="tspan4295-5-19" /></text>
     <text
        sodipodi:linespacing="125%"
        id="text2985-5-2-8-5-7-3"
-       y="638.93695"
-       x="1355.1849"
+       y="643.81891"
+       x="1454.87"
        style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
        xml:space="preserve"><tspan
-         y="638.93695"
-         x="1360.1771"
+         y="643.81891"
+         x="1459.8622"
          sodipodi:role="line"
          id="tspan4293-3-9"
-         style="font-weight:bold">{ state:5a } </tspan><tspan
-         y="683.93695"
-         x="1355.1849"
+         style="font-weight:bold">{ state:6a } </tspan><tspan
+         y="688.81891"
+         x="1454.87"
          sodipodi:role="line"
          id="tspan4295-5-5" /></text>
     <text
        sodipodi:linespacing="125%"
        id="text2985-5-2-8-5-7-9"
-       y="738.14954"
-       x="1355.1849"
+       y="757.20471"
+       x="1454.87"
        style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
        xml:space="preserve"><tspan
-         y="738.14954"
-         x="1360.1771"
+         y="757.20471"
+         x="1459.8622"
          sodipodi:role="line"
          id="tspan4293-3-10"
-         style="font-weight:bold">{ state:5b } </tspan><tspan
-         y="783.14954"
-         x="1355.1849"
+         style="font-weight:bold">{ state:6b } </tspan><tspan
+         y="802.20471"
+         x="1454.87"
          sodipodi:role="line"
          id="tspan4295-5-3" /></text>
     <path
        style="fill:url(#linearGradient3171);fill-opacity:1;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#TriangleOutL);display:inline"
-       d="m 899.54722,702.71649 63.77953,-14.17323"
+       d="M 992.14568,714.68503 1063.0118,700.5118"
        id="path4299-7-2-0"
        inkscape:connector-type="polyline"
        inkscape:connector-curvature="0"
        sodipodi:nodetypes="cc" />
     <path
        style="fill:url(#linearGradient3211-5);fill-opacity:1;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#TriangleOutL);display:inline"
-       d="m 899.54722,596.41728 70.86614,49.60629"
+       d="m 992.14568,601.29921 99.21252,56.69291"
        id="path4299-7-2-0-0"
        inkscape:connector-type="polyline"
        inkscape:connector-curvature="0"
        sodipodi:nodetypes="cc" />
     <path
        style="fill:url(#linearGradient3293);fill-opacity:1;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#TriangleOutL);display:inline"
-       d="m 899.54722,646.02357 63.77953,21.25985"
+       d="m 992.14568,657.99212 70.86612,14.17323"
        id="path4299-7-2-0-0-8"
        inkscape:connector-type="polyline"
        inkscape:connector-curvature="0"
        sodipodi:nodetypes="cc" />
     <path
        style="fill:url(#linearGradient3293-9);fill-opacity:1;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#TriangleOutL);display:inline"
-       d="m 523.95667,674.37003 141.73228,21.25984"
+       d="m 382.69686,686.33858 85.03937,70.86614"
        id="path4299-7-2-0-0-80"
        inkscape:connector-type="polyline"
        inkscape:connector-curvature="0"
        sodipodi:nodetypes="cc" />
     <path
        style="fill:url(#linearGradient3293-2);fill-opacity:1;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#TriangleOutL);display:inline"
-       d="M 523.95667,674.37003 665.68895,653.11019"
+       d="m 382.69686,686.33858 85.03936,-14.17325"
        id="path4299-7-2-0-0-1"
        inkscape:connector-type="polyline"
        inkscape:connector-curvature="0"
        sodipodi:nodetypes="cc" />
     <path
        style="fill:url(#linearGradient3293-8);fill-opacity:1;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#TriangleOutL);display:inline"
-       d="m 1162.2244,672.16533 84.567,37.63777"
+       d="m 1275.6102,686.33858 70.8661,42.51968"
        id="path4299-7-2-0-0-17"
        inkscape:connector-type="polyline"
        inkscape:connector-curvature="0"
        sodipodi:nodetypes="cc" />
     <path
        style="fill:url(#linearGradient3293-1);fill-opacity:1;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#TriangleOutL);display:inline"
-       d="m 1162.2244,672.16533 84.567,-33.22837"
+       d="m 1275.6102,686.33858 70.8663,-42.51972"
        id="path4299-7-2-0-0-4"
        inkscape:connector-type="polyline"
        inkscape:connector-curvature="0"
        sodipodi:nodetypes="cc" />
     <path
        style="fill:url(#linearGradient3293-66);fill-opacity:1;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#TriangleOutL);display:inline"
-       d="M 523.95667,674.37003 662.85431,602.33854"
+       d="m 382.69686,686.33858 85.03937,-70.86615"
        id="path4299-7-2-0-0-47"
        inkscape:connector-type="polyline"
        inkscape:connector-curvature="0"
@@ -1898,242 +2160,424 @@
     <text
        xml:space="preserve"
        style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
-       x="790.41345"
-       y="828.0708"
+       x="793.72046"
+       y="856.4173"
        id="text3983-3"
        sodipodi:linespacing="125%"><tspan
          sodipodi:role="line"
-         x="790.41345"
-         y="828.0708"
+         x="793.72046"
+         y="856.4173"
          id="tspan3989-7"
          style="text-align:center;text-anchor:middle">States and transitions</tspan><tspan
          sodipodi:role="line"
-         x="790.41345"
-         y="878.0708"
+         x="793.72046"
+         y="906.41724"
          id="tspan3987-5" /></text>
     <rect
-       style="fill:#fcfcfc;fill-opacity:1;stroke:#000000;stroke-width:3.37171936;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:3.37171988, 3.37171988;stroke-dashoffset:0"
+       style="fill:#fcfcfc;fill-opacity:1;stroke:#000000;stroke-width:3.69353342;stroke-linecap:round;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:3.69353405, 3.69353405;stroke-dashoffset:0"
        id="rect5533-1"
        width="1600"
-       height="425.19687"
-       x="-28.326771"
-       y="76.889725"
+       height="623.62225"
+       x="-26.751984"
+       y="-79.015747"
        rx="43.243244"
-       ry="16.825371" />
+       ry="20.190445" />
     <text
        xml:space="preserve"
        style="font-size:40.75279617px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
-       x="14.460023"
-       y="131.11508"
+       x="16.064432"
+       y="-7.9990673"
        id="text3844"
        sodipodi:linespacing="125%"
        transform="scale(0.98152775,1.0188199)"><tspan
          sodipodi:role="line"
          id="tspan3846"
-         x="14.460023"
-         y="131.11508"
+         x="16.064432"
+         y="-7.9990673"
          style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"><tspan
+   id="tspan4821"
+   style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Courier 10 Pitch;-inkscape-font-specification:Courier 10 Pitch"> 1</tspan><tspan
    style="font-weight:bold"
-   id="tspan3982"><tspan
-   style="font-weight:normal;-inkscape-font-specification:Courier 10 Pitch;font-family:Courier 10 Pitch;font-style:normal;font-stretch:normal;font-variant:normal"
-   id="tspan3412">1</tspan>  aesop service_function</tspan>() { </tspan><tspan
+   id="tspan3982">  aesop service_function</tspan>() { </tspan><tspan
          sodipodi:role="line"
-         x="14.460023"
-         y="176.11508"
+         x="16.064432"
+         y="40.708904"
          id="tspan3848"
          style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"><tspan
-   style="-inkscape-font-specification:Courier 10 Pitch;font-family:Courier 10 Pitch;font-weight:normal;font-style:normal;font-stretch:normal;font-variant:normal"
-   id="tspan3418">2</tspan>    char data[MAX]; </tspan><tspan
+   style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Courier 10 Pitch;-inkscape-font-specification:Courier 10 Pitch"
+   id="tspan3418"> 2</tspan>    char data[MAX]; </tspan><tspan
          sodipodi:role="line"
-         x="14.460023"
-         y="221.11508"
+         x="16.064432"
+         y="89.41687"
          id="tspan3850"
          style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"><tspan
+   id="tspan4823"
+   style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Courier 10 Pitch;-inkscape-font-specification:Courier 10 Pitch"> 3</tspan><tspan
    style="font-weight:bold"
-   id="tspan4004"><tspan
-   style="font-weight:normal;-inkscape-font-specification:Courier 10 Pitch;font-family:Courier 10 Pitch;font-style:normal;font-stretch:normal;font-variant:normal"
-   id="tspan3414">3</tspan>    network_operation</tspan>();</tspan><tspan
+   id="tspan4004">    network_operation</tspan>();</tspan><tspan
          sodipodi:role="line"
-         x="14.460023"
-         y="266.11508"
+         x="16.064432"
+         y="138.12485"
          id="tspan3852"
          style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"><tspan
-   style="-inkscape-font-specification:Courier 10 Pitch;font-family:Courier 10 Pitch;font-weight:normal;font-style:normal;font-stretch:normal;font-variant:normal"
-   id="tspan3422">4</tspan>    for ( ... ) { </tspan><tspan
+   style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Courier 10 Pitch;-inkscape-font-specification:Courier 10 Pitch"
+   id="tspan3422"> 4</tspan>    pwait { </tspan><tspan
          sodipodi:role="line"
-         x="14.460023"
-         y="311.11508"
+         x="16.064432"
+         y="186.83281"
+         style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+         id="tspan4834"><tspan
+   style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Courier 10 Pitch;-inkscape-font-specification:Courier 10 Pitch"
+   id="tspan4849"> 5</tspan>      for ( ... ) {</tspan><tspan
+         sodipodi:role="line"
+         x="16.064432"
+         y="235.54079"
+         style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+         id="tspan4379"><tspan
+   style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Courier 10 Pitch;-inkscape-font-specification:Courier 10 Pitch"
+   id="tspan4847"> 6</tspan>       pbranch {   </tspan><tspan
+         sodipodi:role="line"
+         x="16.064432"
+         y="284.24875"
          id="tspan3854"
          style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"><tspan
+   id="tspan4859"
+   style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Courier 10 Pitch;-inkscape-font-specification:Courier 10 Pitch Bold"> 7</tspan><tspan
    style="font-weight:bold"
-   id="tspan4002"><tspan
-   style="font-weight:normal;-inkscape-font-specification:Courier 10 Pitch;font-family:Courier 10 Pitch;font-style:normal;font-stretch:normal;font-variant:normal"
-   id="tspan3410">5</tspan>       disk_operation</tspan>();</tspan><tspan
+   id="tspan4002">         disk_operation</tspan>();</tspan><tspan
          sodipodi:role="line"
-         x="14.460023"
-         y="356.11508"
-         id="tspan3856"
-         style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"><tspan
-   style="-inkscape-font-specification:Courier 10 Pitch;font-family:Courier 10 Pitch;font-weight:normal;font-style:normal;font-stretch:normal;font-variant:normal"
-   id="tspan3426">6</tspan>    }</tspan><tspan
+         x="16.064432"
+         y="332.95673"
+         style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+         id="tspan4383"><tspan
+   id="tspan4861"
+   style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Courier 10 Pitch;-inkscape-font-specification:Courier 10 Pitch Bold"> 8</tspan><tspan
+   style="font-weight:bold"
+   id="tspan4385">         disk_operation</tspan>(); </tspan><tspan
          sodipodi:role="line"
-         x="14.460023"
-         y="401.11508"
+         x="16.064432"
+         y="381.6647"
+         style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"
+         id="tspan4830"><tspan
+   style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Courier 10 Pitch;-inkscape-font-specification:Courier 10 Pitch"
+   id="tspan4841"> 9</tspan>    }}}  </tspan><tspan
+         sodipodi:role="line"
+         x="16.064432"
+         y="430.37265"
          id="tspan3858"
          style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"><tspan
-   style="-inkscape-font-specification:Courier 10 Pitch;font-family:Courier 10 Pitch;font-weight:normal;font-style:normal;font-stretch:normal;font-variant:normal"
-   id="tspan3428">7</tspan>    if (<tspan
+   style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Courier 10 Pitch;-inkscape-font-specification:Courier 10 Pitch"
+   id="tspan4672">10</tspan>    if (c) { <tspan
    style="font-weight:bold"
-   id="tspan4000">db_operation</tspan>()) { ... } </tspan><tspan
+   id="tspan4438">db_operation</tspan>(); } </tspan><tspan
          sodipodi:role="line"
-         x="14.460023"
-         y="446.11508"
+         x="16.064432"
+         y="479.08063"
          id="tspan3860"
          style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;font-family:DejaVu Sans Mono;-inkscape-font-specification:DejaVu Sans Mono"><tspan
-   style="-inkscape-font-specification:Courier 10 Pitch;font-family:Courier 10 Pitch;font-weight:normal;font-style:normal;font-stretch:normal;font-variant:normal"
-   id="tspan3430">8</tspan>    else { ... } </tspan></text>
+   style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:Courier 10 Pitch;-inkscape-font-specification:Courier 10 Pitch"
+   id="tspan4674">11</tspan>    else   { <tspan
+   style="font-weight:bold"
+   id="tspan4440">fail</tspan>(); } </tspan></text>
     <text
        sodipodi:linespacing="125%"
        id="text2985-5-2-8-5-7-37"
-       y="176.10233"
-       x="829.67316"
+       y="62.716511"
+       x="831.24799"
        style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
        xml:space="preserve"><tspan
-         y="176.10233"
-         x="834.66534"
+         y="62.716511"
+         x="836.24017"
          sodipodi:role="line"
          id="tspan4293-3-3"
          style="font-weight:bold">{ state:1 } </tspan><tspan
-         y="221.10233"
-         x="829.67316"
+         y="107.71651"
+         x="831.24799"
          sodipodi:role="line"
          id="tspan4295-5-4" /></text>
     <text
        sodipodi:linespacing="125%"
        id="text2985-5-2-8-5-7-0-6"
-       y="261.14166"
-       x="829.67316"
+       y="161.92911"
+       x="831.24799"
        style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
        xml:space="preserve"><tspan
-         y="261.14166"
-         x="834.66534"
+         y="161.92911"
+         x="836.24017"
          sodipodi:role="line"
          id="tspan4293-3-0-4"
          style="font-weight:bold">{ state:2 } </tspan><tspan
-         y="306.14166"
-         x="829.67316"
+         y="206.92912"
+         x="831.24799"
          sodipodi:role="line"
          id="tspan4295-5-0-4" /></text>
     <text
        sodipodi:linespacing="125%"
        id="text2985-5-2-8-5-7-5-3"
-       y="317.83459"
-       x="829.67316"
+       y="303.66141"
+       x="831.24799"
        style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
        xml:space="preserve"><tspan
-         y="317.83459"
-         x="834.66534"
+         y="303.66141"
+         x="836.24017"
          sodipodi:role="line"
          id="tspan4293-3-4-7"
          style="font-weight:bold">{ state:3[...] } </tspan><tspan
-         y="362.83459"
-         x="829.67316"
+         y="348.66141"
+         x="831.24799"
          sodipodi:role="line"
          id="tspan4295-5-1-7" /></text>
     <text
        sodipodi:linespacing="125%"
        id="text2985-5-2-8-5-7-5-3-5"
-       y="374.52753"
-       x="829.67316"
+       y="402.87399"
+       x="831.24799"
        style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
        xml:space="preserve"><tspan
-         y="374.52753"
-         x="834.66534"
+         y="402.87399"
+         x="836.24017"
          sodipodi:role="line"
          id="tspan4293-3-4-7-7"
-         style="font-weight:bold">{ state:4 } </tspan><tspan
-         y="419.52753"
-         x="829.67316"
+         style="font-weight:bold">{ state:5 } </tspan><tspan
+         y="447.87399"
+         x="831.24799"
          sodipodi:role="line"
          id="tspan4295-5-1-7-5" /></text>
     <text
        sodipodi:linespacing="125%"
        id="text2985-5-2-8-5-7-3-7"
-       y="431.22043"
-       x="829.67316"
+       y="459.56689"
+       x="831.24799"
        style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
        xml:space="preserve"><tspan
-         y="431.22043"
-         x="834.66534"
+         y="459.56689"
+         x="836.24017"
          sodipodi:role="line"
          id="tspan4293-3-9-7"
-         style="font-weight:bold">{ state:5a,b } </tspan><tspan
-         y="476.22043"
-         x="829.67316"
+         style="font-weight:bold">{ state:6a } </tspan><tspan
+         y="504.56689"
+         x="831.24799"
          sodipodi:role="line"
          id="tspan4295-5-5-7" /></text>
     <text
        xml:space="preserve"
        style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
-       x="990.57092"
-       y="218.62201"
+       x="992.14575"
+       y="190.27556"
        id="text3983-3-8"
        sodipodi:linespacing="125%"><tspan
          sodipodi:role="line"
-         x="990.57092"
-         y="218.62201"
+         x="992.14575"
+         y="190.27556"
          id="tspan3987-5-3">Non-blocking operations </tspan><tspan
          sodipodi:role="line"
-         x="990.57092"
-         y="268.62201"
+         x="992.14575"
+         y="240.27556"
          id="tspan4042">(shown in bold) and </tspan><tspan
          sodipodi:role="line"
-         x="990.57092"
-         y="318.62201"
+         x="992.14575"
+         y="290.27557"
          id="tspan4048">service code logic (states)</tspan><tspan
          sodipodi:role="line"
-         x="990.57092"
-         y="368.62201"
+         x="992.14575"
+         y="340.27557"
          id="tspan4044">expressed as sequential </tspan><tspan
          sodipodi:role="line"
-         x="990.57092"
-         y="418.62201"
+         x="992.14575"
+         y="390.27557"
          id="tspan4040">control flow </tspan></text>
     <text
        sodipodi:linespacing="125%"
        id="text2985-5-2-8-5-7-2-9"
-       y="766.49597"
-       x="788.25586"
+       y="785.55115"
+       x="590.3031"
        style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
        xml:space="preserve"><tspan
-         y="766.49597"
-         x="793.24805"
+         y="785.55115"
+         x="595.29529"
          sodipodi:role="line"
          id="tspan4293-3-03-1"
          style="font-weight:bold">{ state:3[...] } </tspan><tspan
-         y="811.49597"
-         x="788.25586"
+         y="830.55115"
+         x="590.3031"
          sodipodi:role="line"
          id="tspan4295-5-2-1" /></text>
     <path
        style="fill:url(#linearGradient3345);fill-opacity:1;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#TriangleOutL);display:inline"
-       d="M 906.63383,752.32279 970.41336,709.8031"
+       d="m 992.14568,771.37795 99.21252,-56.69292"
        id="path4299-7-2-0-6"
        inkscape:connector-type="polyline"
        inkscape:connector-curvature="0"
        sodipodi:nodetypes="cc" />
     <path
        style="fill:url(#linearGradient3385);fill-opacity:1;stroke:#000000;stroke-width:2;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#TriangleOutL);display:inline"
-       d="m 523.95667,674.37003 141.73228,70.86614"
+       d="m 382.69686,686.33858 85.03937,28.34645"
        id="path4299-7-2-0-0-80-5"
        inkscape:connector-type="polyline"
        inkscape:connector-curvature="0"
        sodipodi:nodetypes="cc" />
     <path
        style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
-       d="m 56.712598,105.2362 c 0,396.85039 0,382.67716 0,382.67716"
+       d="m 72.460597,-36.496065 c 0,396.850385 0,538.582675 0,538.582675"
        id="path3432"
        inkscape:connector-curvature="0"
        sodipodi:nodetypes="cc" />
+    <text
+       xml:space="preserve"
+       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
+       x="1346.4763"
+       y="700.51184"
+       id="text3331"
+       sodipodi:linespacing="125%"><tspan
+         sodipodi:role="line"
+         id="tspan3333"
+         x="1346.4763"
+         y="700.51184">OR</tspan></text>
+    <text
+       sodipodi:linespacing="125%"
+       id="text2985-5-2-8-5-7-5-7"
+       y="615.47247"
+       x="873.76764"
+       style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
+       xml:space="preserve"><tspan
+         y="615.47247"
+         x="878.75983"
+         sodipodi:role="line"
+         id="tspan4293-3-4-5"
+         style="font-weight:bold">{ state:4[0] } </tspan><tspan
+         y="660.47247"
+         x="873.76764"
+         sodipodi:role="line"
+         id="tspan4295-5-1-3" /></text>
+    <text
+       sodipodi:linespacing="125%"
+       id="text2985-5-2-8-5-7-4-0"
+       y="672.16534"
+       x="873.76764"
+       style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
+       xml:space="preserve"><tspan
+         y="672.16534"
+         x="878.75983"
+         sodipodi:role="line"
+         id="tspan4293-3-1-9"
+         style="font-weight:bold">{ state:4[1] } </tspan><tspan
+         y="717.16534"
+         x="873.76764"
+         sodipodi:role="line"
+         id="tspan4295-5-7-2" /></text>
+    <text
+       sodipodi:linespacing="125%"
+       id="text2985-5-2-8-5-7-2-3"
+       y="728.85828"
+       x="873.76764"
+       style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
+       xml:space="preserve"><tspan
+         y="728.85828"
+         x="878.75983"
+         sodipodi:role="line"
+         id="tspan4293-3-03-3"
+         style="font-weight:bold">{ state:4[2] } </tspan><tspan
+         y="773.85828"
+         x="873.76764"
+         sodipodi:role="line"
+         id="tspan4295-5-2-2" /></text>
+    <text
+       sodipodi:linespacing="125%"
+       id="text2985-5-2-8-5-7-2-9-5"
+       y="785.55115"
+       x="873.76764"
+       style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
+       xml:space="preserve"><tspan
+         y="785.55115"
+         x="878.75983"
+         sodipodi:role="line"
+         id="tspan4293-3-03-1-1"
+         style="font-weight:bold">{ state:4[...] } </tspan><tspan
+         y="830.55115"
+         x="873.76764"
+         sodipodi:role="line"
+         id="tspan4295-5-2-1-3" /></text>
+    <path
+       style="fill:url(#linearGradient4568);fill-opacity:1;stroke:#000000;stroke-width:2.16024685;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#TriangleOutL);display:inline"
+       d="m 708.68111,771.37795 42.51969,0"
+       id="path4299-2"
+       inkscape:connector-type="polyline"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:url(#linearGradient4568-2);fill-opacity:1;stroke:#000000;stroke-width:2.16024685;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#TriangleOutL);display:inline"
+       d="m 708.68111,714.68503 42.51969,0"
+       id="path4299-8"
+       inkscape:connector-type="polyline"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:url(#linearGradient4568-4);fill-opacity:1;stroke:#000000;stroke-width:2.16024685;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#TriangleOutL);display:inline"
+       d="m 708.68111,657.99212 42.51969,0"
+       id="path4299-7"
+       inkscape:connector-type="polyline"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <path
+       style="fill:url(#linearGradient4568-0);fill-opacity:1;stroke:#000000;stroke-width:2.16024685;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#TriangleOutL);display:inline"
+       d="m 708.68111,601.29921 42.51969,-3e-5"
+       id="path4299-28"
+       inkscape:connector-type="polyline"
+       inkscape:connector-curvature="0"
+       sodipodi:nodetypes="cc" />
+    <text
+       sodipodi:linespacing="125%"
+       id="text2985-5-2-8-5-7-5-3-8"
+       y="346.18109"
+       x="831.24799"
+       style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
+       xml:space="preserve"><tspan
+         y="346.18109"
+         x="836.24017"
+         sodipodi:role="line"
+         id="tspan4293-3-4-7-77"
+         style="font-weight:bold">{ state:4[...] } </tspan><tspan
+         y="391.18109"
+         x="831.24799"
+         sodipodi:role="line"
+         id="tspan4295-5-1-7-6" /></text>
+    <text
+       sodipodi:linespacing="125%"
+       id="text2985-5-2-8-5-7-3-7-9"
+       y="502.08658"
+       x="831.24799"
+       style="font-size:36px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:center;line-height:125%;letter-spacing:0px;word-spacing:0px;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;font-family:Arial;-inkscape-font-specification:Arial"
+       xml:space="preserve"><tspan
+         y="502.08658"
+         x="836.24017"
+         sodipodi:role="line"
+         id="tspan4293-3-9-7-8"
+         style="font-weight:bold">{ state:6b } </tspan><tspan
+         y="547.08655"
+         x="831.24799"
+         sodipodi:role="line"
+         id="tspan4295-5-5-7-7" /></text>
+    <text
+       xml:space="preserve"
+       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
+       x="1048.8386"
+       y="615.47241"
+       id="text3331-1"
+       sodipodi:linespacing="125%"><tspan
+         sodipodi:role="line"
+         id="tspan3333-0"
+         x="1048.8386"
+         y="615.47241">JOIN</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:40px;font-style:normal;font-weight:normal;line-height:125%;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans"
+       x="340.17715"
+       y="615.47241"
+       id="text3331-1-0"
+       sodipodi:linespacing="125%"><tspan
+         sodipodi:role="line"
+         id="tspan3333-0-2"
+         x="340.17715"
+         y="615.47241">FORK</tspan></text>
   </g>
 </svg>


hooks/post-receive
--
Triton-private Repository

    

noreply＠mcs.anl.gov

tags

participants (1)