Index: doc/papers/concurrency/figures/dependency.fig =================================================================== --- doc/papers/concurrency/figures/dependency.fig (revision 90152a4860529aff7214be01cd22abd37012cd19) +++ doc/papers/concurrency/figures/dependency.fig (revision 90152a4860529aff7214be01cd22abd37012cd19) @@ -0,0 +1,119 @@ +#FIG 3.2 Produced by xfig version 3.2.5c +Landscape +Center +Inches +Letter +100.00 +Single +-2 +1200 2 +6 750 2250 2250 2850 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 1050 2550 300 300 750 2550 1350 2550 +4 0 0 50 -1 0 20 0.0000 2 315 1305 900 2700 $\\alpha$3\001 +-6 +6 750 1350 2250 1950 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 1050 1650 300 300 750 1650 1350 1650 +4 0 0 50 -1 0 20 0.0000 2 315 1305 900 1800 $\\alpha$2\001 +-6 +6 750 450 2250 1050 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 1050 750 300 300 750 750 1350 750 +4 0 0 50 -1 0 20 0.0000 2 315 1305 900 900 $\\alpha$1\001 +-6 +6 750 3150 2250 3750 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 1050 3450 300 300 750 3450 1350 3450 +4 0 0 50 -1 0 20 0.0000 2 315 1305 900 3600 $\\alpha$4\001 +-6 +6 750 4050 2250 4650 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 1050 4350 300 300 750 4350 1350 4350 +4 0 0 50 -1 0 20 0.0000 2 315 1305 900 4500 $\\alpha$5\001 +-6 +6 3000 1350 4800 1950 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 3300 1650 300 300 3000 1650 3600 1650 +4 0 0 50 -1 0 20 0.0000 2 315 1560 3150 1800 $\\gamma$2\001 +-6 +6 3000 450 4800 1050 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 3300 750 300 300 3000 750 3600 750 +4 0 0 50 -1 0 20 0.0000 2 315 1560 3150 900 $\\gamma$1\001 +-6 +6 3000 2250 4800 2850 +6 3000 2250 3600 2850 +6 3000 2250 3600 2850 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 3300 2550 300 300 3000 2550 3600 2550 +-6 +-6 +4 0 0 50 -1 0 20 0.0000 2 315 1560 3150 2700 $\\gamma$3\001 +-6 +6 3000 3150 4800 3750 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 3300 3450 300 300 3000 3450 3600 3450 +4 0 0 50 -1 0 20 0.0000 2 315 1560 3150 3600 $\\gamma$4\001 +-6 +6 3000 4050 4800 4650 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 3300 4350 300 300 3000 4350 3600 4350 +4 0 0 50 -1 0 20 0.0000 2 315 1560 3150 4500 $\\gamma$5\001 +-6 +6 3000 4950 4800 5550 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 3300 5250 300 300 3000 5250 3600 5250 +4 0 0 50 -1 0 20 0.0000 2 315 1560 3150 5400 $\\gamma$6\001 +-6 +6 5400 1800 6750 4200 +6 5400 1800 6750 2400 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 5700 2100 300 300 5400 2100 6000 2100 +4 0 0 50 -1 0 20 0.0000 2 270 1140 5550 2250 $\\beta$1\001 +-6 +6 5400 2700 6750 3300 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 5700 3000 300 300 5400 3000 6000 3000 +4 0 0 50 -1 0 20 0.0000 2 270 1140 5550 3150 $\\beta$2\001 +-6 +6 5400 3600 6750 4200 +1 4 0 1 0 7 50 -1 -1 0.000 1 0.0000 5700 3900 300 300 5400 3900 6000 3900 +4 0 0 50 -1 0 20 0.0000 2 270 1140 5550 4050 $\\beta$3\001 +-6 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 5700 2700 5700 2400 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 5700 3600 5700 3300 +-6 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 1050 1350 1050 1050 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 3300 1350 3300 1050 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 3300 2250 3300 1950 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 1050 2250 1050 1950 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 1050 3150 1050 2850 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 3300 3150 3300 2850 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 1050 4050 1050 3750 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 3300 4050 3300 3750 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 3300 4950 3300 4650 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2 + 1 1 1.00 60.00 120.00 + 1350 2550 3000 2550 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 1 2 + 1 1 1.00 60.00 120.00 + 1350 3450 3000 3450 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 1 2 + 1 1 1.00 60.00 120.00 + 3000 5175 1350 4500 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 1 2 + 1 1 1.00 60.00 120.00 + 5462 4060 3582 5156 +2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 0 1 2 + 1 1 1.00 60.00 120.00 + 3564 4198 5438 3144