[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Demonstration application

Greetings -

Regardless of the application, write it up in CSP and prove it with
FDR  - those who have struggled with complex concurrent systems before
will certainly appreciate the proof.

Dyke.

-- 
======================================================================
Dyke Stiles          
Professor
Department of Electrical and Computer Engineering
4120 Old Main Hill
Utah State University
Logan UT 84322-4120
Voice: +1-435-797-2840                          FAX:   +1-435-797-3054
Work:                http://www.engineering.usu.edu/ece/research/rtpc/
Play:  http://www.engineering.usu.edu/ece/research/rtpc/utah/utah.html
======================================================================