Unusual applications of LOTOS

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Luigi Logrippo Wed, 13 Feb 1991 22:15

#324

Author: Luigi Logrippo
Date: Wed, 13 Feb 1991 22:15

16 lines
1101 bytes

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.

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads