luigi@csi.uottawa.ca (Luigi Logrippo) (02/14/91)
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.