Table Of Contents
Background
      Tunnel Vision
      Asynchronous Event Handling
            EDSM Methodology
      Non-blocking Operations
The SMG Solution
            Visual Analysis
            Functional Verification
      SMG Development Cycle
      C Data Structures and Functions
SMG Directives Overview
      Common SMG Directives
      SMG Directive Keywords
      SMG Wildcards
      SMG Syntax Version
SMG Specification Requirements
SMG Usage
      SMG Command Line Arguments
      Support Functions
      Run-Time Tracing
SMG Libraries
      Event Interface Background
      SMG Library Implementation
      Library Synthesized Events
      SMG Library Requirements
SMG Examples
      File Example 1
            Building the Example
      Unmorse Example
            Building the Example
SMG Maintenance
      Dependencies
            Python
            GraphViz
            Spin
            Interactions
      SMG License
      SMG Change Log

---

External References
      1

      2

      3

      file_ex1S.ps

      http://netlib.bell-labs.com/netlib/spin/whatispin.html

      http://www.python.org/

      http://www.research.att.com/sw/tools/graphviz

      textual map

      unmorseS.ps