Newsgroups: comp.specification
Path: utzoo!utgpu!cunews!csi.uottawa.ca!news
From: luigi@csi.uottawa.ca (Luigi Logrippo)
Subject: Unusual applications of LOTOS
Message-ID: <1991Feb13.221509.3660@csi.uottawa.ca>
Followup-To: luigi@csi.uottawa.ca (Luigi Logrippo)
Keywords: LOTOS applications
Sender: news@csi.uottawa.ca
Nntp-Posting-Host: prgq
Organization: CSI Dept., University of Ottawa
Date: Wed, 13 Feb 91 22:15:09 GMT

I am completing a tutorial paper on LOTOS.

In the last few pages, I would like to briefly mention some
particularly interesting "nonstandard" applications of the language.
By "nonstandard" I mean in areas other than protocols and
telephone systems.  For example, I have come across 
papers discussing applications to the specification of security
mechanisms, and to the specification of distributed operating
systems, however sometimes I did not think of writing down the
reference.

Please send me any references you might have in this area.
Do not bother writing if you don't have
a reference precise enough to allow me to trace it. 
 
Thank you.