Subject: protocol specification using LOTOS

From: Gaurav Rampal <[email-masked]>
Date: Wed, 25 Jan 95 11:10:04 EST

> 
> =-========================================================-=
> From: [email-masked]
> Subject: Protocols
> Date: Tue, 24 Jan 1995 12:50:45 -0800 (PST)
> 
> hi
> Could any one please tell me some info on the protocol specification using
> LOTOS. (like any papers or tutorial to learn LOTOS and to use it for the
> specification of a communication protocol).
> Thankyou very much
> surekha
> -- 
> it is a miracle that curiosity survives formal education. -Albert Einstein
> *******************************************************************************
> Surekha Ghantasala                 |   e-mail:[email-masked]
> Department of Computer Science     |   tel.  :(208) 885-5562 
> University of Idaho                |
> Moscow, ID 83843, USA              |
> *******************************************************************************
> 
> =-========================================================-=

Hi Surekha!
An excellent Paper is OSI  Formal Specification Case Study: the INRES
protocol and service. Hogrefe, Dieter. INRES is not a real protocol but
has OSI like concepts. In the above paper INRES is specified using LOTOS,
SDL and ESTELLE. Its available at the ftp site at uottawa.  another good paper
which has considerably more detail is 

Tocher, A.J. LOTOS the Formal Specification of Communication Standards: an
Example. I dont know where it appeared, if you cant find it and still need
it let me know; I'll get the details.
 
Gaurav Rampal