Verification Methodology For LOTOS Specification

Thread View: comp.specification

1 messages

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

1 total messages Started by Alfred Yau Mon, 17 Aug 1992 09:44

#86

Author: Alfred Yau
Date: Mon, 17 Aug 1992 09:44

5 lines
517 bytes

I would like to know from anyone regarding methodology for verification
of protocols in LOTOS. Is it similar to the CCS verification methodogy ?  
Thank....

Alfred Yau

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