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

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

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

  Introduction to LOTOS
  
  Chapter 3
  
  J. Quemada, L. Ferreira Pires, J. A. Manas, A. Azcorra and T. Robles
  
  *******************************************************************

  key-evts.lot:
    two key system - LOTOS event structure specification

  key-parg.lot:
    two key system - LOTOS parameterised process and guard
    specification

  key-selp.lot:
    two key system - LOTOS selection predicate specification
    
  sim-type.lot:
    simple data types - LOTOS specification
