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

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

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

  Contents - list of directory and file contents
  
  K. J. Turner
  
  *******************************************************************

abr-pro:

  abp-arch.tex:	abracadabra protocol - architecture

  abp-est.tex:	abracadabra protocol - Estelle specification
		architecture

  abp.est:	abracadabra protocol - Estelle specification

  abp.lot:	abracadabra protocol - LOTOS specification

  abp.sdl:	abracadabra protocol - SDL/PR specification

abs-ser:

  abs-est.tex:	abracadabra service - Estelle specification
		architecture

  abs-prim.tex:	abracadabra service - relationship between primitives

  abs.est:	abracadabra service - Estelle specification

  abs.lot:	abracadabra service - LOTOS specification

  abs.sdl:	abracadabra service - SDL/PR specification

con-fdt:

  No relevant files

dae-gam:

  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

dev-est:

  dae-dae.est:	daemon game daemon - Estelle specification

  dae-play.est:	daemon game player - Estelle specification

  est-work.tex:	development with Estelle - operation of the Estelle
		Work Station

dev-lot:

  key-auto.tex:	two-key system - automaton

  key-bbox.lot:	two-key system - LOTOS black-box specification
    
  key-impl.lot:	two-key system - LOTOS implementation specification

  key-wbox.lot:	two-key system - LOTOS white-box specification
    
dev-sdl:

  lift.sdl:	lift controller - SDL/PR specification

int-est:

  dae-auto.tex:	simple daemon game - automaton

  dae-est.tex:	simple daemon game - Estelle specification architecture

  dae-sim.est:	simple daemon game - Estelle specification

int-lot:

  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

int-sdl:

  pre-sort.tex:	pre-defined sorts - SDL literals and operators

misc:

  contents:	list of directory and file contents
  
  contribs:	contributor addresses
  
  index:	machine-processible index

scripts:

  checktex:	check LaTeX - "sh" script
  
  chktex.l:	check LaTeX - "lex" script for "checktex"

  esttex.l:	Estelle to LaTeX - "lex" script for "fmte"
    
  fmte:		format Estelle - "sh" script for (editor) filter

  fmtl:		format LOTOS - "sh" script for (editor) filter

  fmts:		format SDL - "sh" script for (editor) filter

  getest:	get Estelle - "sh" script to extract Estelle from LaTeX
		comments

  getlot:	get Estelle - "sh" script to extract Estelle from LaTeX
		comments

  getsdl:	get Estelle - "sh" script to extract Estelle from LaTeX
		comments

  lottex.l:	LOTOS to LaTeX - "lex" script for "fmtl"
    
  mkeps:	make Encapsulated PostScript files - "sh" script for
		EPS files

  mktex:	make and process LaTex file - "sh" script for master
		LaTeX files

  sdltex.l:	SDL to LaTeX - "lex" script for "fmts"

  spelltex:	check spelling of LaTeX file - "sh" script for LaTeX
		files

  untex:	remove LaTeX formatting  - "sh" script for LaTeX files 

sli-win:

  swp-est.tex:	sliding window protocol - Estelle specification
		architecture

  swp-recv.tex:	sliding window protocol - receiver window parameters

  swp-tran.tex:	sliding window protocol - transmitter window parameters

  swp.est:	sliding window protocol - Estelle specification

  swp.lot:	sliding window protocol - LOTOS specification

  swp.sdl:	sliding window protocol - SDL/PR specification

styles:

  estelle.sty:	for formatting Estelle specifications
    
  eurodate.sty:	for European-style dates
    
  idraw.sty:	for including "idraw" diagrams
    
  intro.sty:	for including "idraw" diagrams
    
  lotos.sty:	for formatting LOTOS specifications
    
  macdraw.sty:	for including "MacDraw" diagrams
    
  main.sty:	the main style file for the book
    
  sdl.sty:	for formatting SDL specifications
    
  trees.sty:	for producing diagrams of synchronisation trees
    
unr-med:

  med-est.tex:	unreliable medium - Estelle specification architecture

  med-lot.tex:	unreliable medium - LOTOS specification process
		decomposition

  med.est:	unreliable medium - Estelle specification

  med.lot:	unreliable medium - LOTOS specification

  med.sdl:	unreliable medium - SDL/PR specification
