  *******************************************************************

  Using Formal Description Techniques - An Introduction to Estelle,
  LOTOS and SDL
  
  Copyright 1992 John Wiley and Sons Ltd.

  *******************************************************************

  Daemon Game
  
  Chapter 5
  
  *******************************************************************

  dae-exp.est:
    daeon game with explicit daeon - Estelle specification

  dae-exp.lot:
    daeon game with explicit daeon - LOTOS specification

  dae-exp.sdl:
    daeon game with explicit daeon - SDL/PR specification

  dae-expe.tex:
    daeon game with explicit daeon - Estelle specification
    architecture

  dae-imp.est:
    daeon game without explicit daeon - Estelle specification
    architecture

  dae-imp.lot:
    daeon game without explicit daeon - LOTOS specification

  dae-imp.sdl:
    daeon game without explicit daeon - SDL/PR specification

  dae-impe.tex:
    daeon game without explicit daeon - Estelle specification
    architecture
