ActiveLayerIndex 0 ApplicationVersion com.omnigroup.OmniGraffle 139.18.0.187838 AutoAdjust BackgroundGraphic Bounds {{0, 0}, {576, 733}} Class SolidGraphic ID 2 Style shadow Draws NO stroke Draws NO BaseZoom 0 CanvasOrigin {0, 0} ColumnAlign 1 ColumnSpacing 36 CreationDate 2013-11-12 22:44:52 +0000 Creator Tim Zirkel DisplayScale 1 0/72 in = 1.0000 in GraphDocumentVersion 8 GraphicsList AllowConnections NO Class LineGraphic Head ID 87 ID 88 Points {144.22940432391357, 197.75573726708194} {165.93749999279336, 204.5} Style stroke Cap 0 Color b 0 g 0.501961 r 1 HeadArrow 0 Join 0 Legacy TailArrow 0 Width 0.5 Tail ID 12 Bounds {{141, 204.5}, {140, 28}} Class ShapedGraphic FitText Vertical Flow Resize ID 87 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0 Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Baskerville;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural \f0\i\fs24 \cf0 verify, run, replay, command line interface} VerticalPad 0 Bounds {{387, 303.5}, {109, 14}} Class ShapedGraphic FitText Vertical Flow Resize ID 86 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0 Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Baskerville;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural \f0\i\fs24 \cf0 state predicates, deadlock} VerticalPad 0 AllowConnections NO Class LineGraphic Head ID 86 ID 84 Points {412.11178268508087, 276.87595538691295} {435.45537554716714, 303.5} Style stroke Cap 0 Color b 0 g 0.501961 r 1 HeadArrow 0 Join 0 Legacy TailArrow 0 Width 0.5 Tail ID 6 AllowConnections NO Class LineGraphic Head ID 82 ID 83 Points {279.95639624807046, 276.75759679470838} {298.70220813580892, 289} Style stroke Cap 0 Color b 0 g 0.501961 r 1 HeadArrow 0 Join 0 Legacy TailArrow 0 Width 0.5 Tail ID 17 Bounds {{240, 289}, {140, 14}} Class ShapedGraphic FitText Vertical Flow Resize ID 82 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0 Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Baskerville;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural \f0\i\fs24 \cf0 handling of system-level functions} VerticalPad 0 Bounds {{92, 289}, {133, 14}} Class ShapedGraphic FitText Vertical Flow Resize ID 81 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0 Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Baskerville;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural \f0\i\fs24 \cf0 next state and enabled relations} VerticalPad 0 AllowConnections NO Class LineGraphic Head ID 81 ID 80 Points {132.52878194999991, 276.79897837498027} {148.88358563764922, 289} Style stroke Cap 0 Color b 0 g 0.501961 r 1 HeadArrow 0 Join 0 Legacy TailArrow 0 Width 0.5 Tail ID 13 AllowConnections NO Class LineGraphic Head ID 78 ID 79 Points {138.5596923371275, 348.1924367340564} {155.50004490073007, 358} Style stroke Cap 0 Color b 0 g 0.501961 r 1 HeadArrow 0 Join 0 Legacy TailArrow 0 Width 0.5 Tail ID 20 Bounds {{87.5, 358}, {160, 14}} Class ShapedGraphic FitText Vertical Flow Resize ID 78 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0 Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Baskerville;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural \f0\i\fs24 \cf0 wraps a statement with process ID, ...} VerticalPad 0 Bounds {{324, 346.5}, {88, 14}} Class ShapedGraphic FitText Vertical Flow Resize ID 77 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0 Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Baskerville;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural \f0\i\fs24 \cf0 executor, evaluator} VerticalPad 0 AllowConnections NO Class LineGraphic Head ID 77 ID 76 Points {288.49046226887424, 337.73127598917927} {332.73919418587326, 346.5} Style stroke Cap 0 Color b 0 g 0.501961 r 1 HeadArrow 0 Join 0 Legacy TailArrow 0 Width 0.5 Tail ID 15 AllowConnections NO Class LineGraphic Head ID 74 ID 75 Points {144.49485173659392, 407.77796361178071} {207, 416.81759200825451} Style stroke Cap 0 Color b 0 g 0.501961 r 1 HeadArrow 0 Join 0 Legacy TailArrow 0 Width 0.5 Tail ID 14 Bounds {{207, 412}, {127, 28}} Class ShapedGraphic FitText Vertical Flow Resize ID 74 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0 Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Baskerville;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural \f0\i\fs24 \cf0 dynamic scopes, process call stacks, global state. Immutable.} VerticalPad 0 AllowConnections NO Class LineGraphic Head ID 72 ID 73 Points {144.49953473752143, 476.07568904721256} {207, 478.77384120909574} Style stroke Cap 0 Color b 0 g 0.501961 r 1 HeadArrow 0 Join 0 Legacy TailArrow 0 Width 0.5 Tail ID 16 Bounds {{207, 467.5}, {127, 28}} Class ShapedGraphic FitText Vertical Flow Resize ID 72 Shape Rectangle Style fill Draws NO shadow Draws NO stroke Draws NO Text Align 0 Pad 0 Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fnil\fcharset0 Baskerville;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural \f0\i\fs24 \cf0 static representation of CIVL program (program graphs)} VerticalPad 0 Bounds {{72, 528.5}, {72, 36}} Class ShapedGraphic ID 68 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 GMC} Bounds {{216, 528.5}, {72, 36}} Class ShapedGraphic ID 23 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 ABC} Bounds {{360, 528.5}, {72, 36}} Class ShapedGraphic ID 22 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 SARL} Bounds {{72, 312.5}, {72, 36}} Class ShapedGraphic ID 20 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 transition} Bounds {{216, 240.5}, {72, 36}} Class ShapedGraphic ID 17 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 library} Bounds {{72, 456.5}, {72, 36}} Class ShapedGraphic ID 16 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 model} Bounds {{216, 312.5}, {72, 36}} Class ShapedGraphic ID 15 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 semantics} Bounds {{72, 384.5}, {72, 36}} Class ShapedGraphic ID 14 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 state} Bounds {{72, 240.5}, {72, 36}} Class ShapedGraphic ID 13 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 kripke} Bounds {{72, 168.5}, {72, 36}} Class ShapedGraphic ID 12 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 run} Bounds {{360, 240.5}, {72, 36}} Class ShapedGraphic ID 6 Shape Rectangle Style shadow Draws NO stroke CornerRadius 9 Text Text {\rtf1\ansi\ansicpg1252\cocoartf1265 \cocoascreenfonts1{\fonttbl\f0\fswiss\fcharset0 Helvetica;} {\colortbl;\red255\green255\blue255;} \pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\pardirnatural\qc \f0\fs24 \cf0 predicate} GridInfo GuidesLocked NO GuidesVisible YES HPages 1 ImageCounter 1 KeepToScale Layers Lock NO Name Layer 1 Print YES View YES LayoutInfo Animate NO RankInfo Same 22 23 circoMinDist 18 circoSeparation 0.0 layoutEngine dot neatoSeparation 0.0 twopiSeparation 0.0 LinksVisible NO MagnetsVisible NO MasterSheets ModificationDate 2013-12-09 13:30:03 +0000 Modifier Stephen Siegel NotesVisible NO Orientation 2 OriginVisible NO PageBreaks YES PrintInfo NSBottomMargin float 41 NSHorizonalPagination coded BAtzdHJlYW10eXBlZIHoA4QBQISEhAhOU051bWJlcgCEhAdOU1ZhbHVlAISECE5TT2JqZWN0AIWEASqEhAFxlwCG NSLeftMargin float 18 NSPaperSize size {612, 792} NSPrintReverseOrientation int 0 NSRightMargin float 18 NSTopMargin float 18 PrintOnePage ReadOnly NO RowAlign 1 RowSpacing 36 SheetTitle Canvas 1 SmartAlignmentGuidesActive YES SmartDistanceGuidesActive YES UniqueID 1 UseEntirePage VPages 1 WindowInfo CurrentSheet 0 ExpandedCanvases name Canvas 1 Frame {{325, 4}, {710, 774}} ListView OutlineWidth 142 RightSidebar ShowRuler Sidebar SidebarWidth 120 VisibleRegion {{111, 321}, {287.5, 317.5}} Zoom 2 ZoomValues Canvas 1 2 1