[comp.specification] Reference required.

cjs@ely.cl.cam.ac.uk (Cormac Sreenan) (11/06/90)

Could somebody please supply me with a reference for 'Timed LOTOS'?

Thank you in advance,

Cormac Sreenan

Computer Laboratory,			
University of Cambridge,
New Museums Site,
Pembroke Street,
Cambridge CB2 3QG,
England.

Tel:		+223-334663
JANet:		cjs@uk.ac.cam.cl
Internet:	cjs@cl.cam.ac.uk or cjs%cl.cam.ac.uk@nss.cs.ucl.ac.uk