Subject: Re: Digest - Thu Jan 26

From: Ahmed Khoumsi <[email-masked]>
Date: Thu, 26 Jan 1995 09:10:20 -0500

Hi,

Here is a tutorial of LOTOS : 
   Authors : T. Bolognesi and E. Brinskma
   Title   : Introduction the ISO specification language LOTOS
   In      : Computer networks and ISDN Systems, 14(1):25-59, 1987

Here are a paper for designing protocols by using LOTOS :

   Authors : C. Kant, T. Higashino and G. v. Bochmann
   Title   : Deriving protocol specifications from service 
               specifications written in LOTOS+
   In      : Technical Report 805, January 1992, 
	     Department IRO, University of Montreal 

Ahmed Khoumsi